On the Semantics of Logic Program Composition

Publication
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Antonio Brogi
Antonio Brogi
Full Professor

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