Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language

Publication
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.