Semantics of Meta-Logic in an Algebra of Programs

Antonio Brogi, Franco Turini
January 1994
Cite DOI
Type
Conference paper
Publication
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS ‘94), Paris, France, July 4-7, 1994

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