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

Add the full text or supplementary notes for the publication here using Markdown formatting.