Programming logics. Essays in memory of Harald Ganzinger

DOI10.1007/978-3-642-37651-1MaRDI QIDQ1947202zbMATH OpenOpenAlexFDO

Authors

Publication date 12 April 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37651-1

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70)

Cited in

(4)

• The B-Book
• Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday
• Program development in computational logic. A decade of research advances in logic-based program development.
• Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

This page was built for publication: Programming logics. Essays in memory of Harald Ganzinger

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1947202)