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
Antonio Brogi
Antonio Brogi
Full Professor

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