Gödel as a Meta-Language for Composing Logic Programs

Antonio Brogi, Simone Contiero
January 1994
Cite DOI
Type
Conference paper
Publication
Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings
Antonio Brogi
Antonio Brogi
Full Professor

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