Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)

Book

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)

Book

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

Book

Algebraic Semantics (Lecture Notes in Computer Science, 99)

Book

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Book

Data Base Techniques for Pictorial Application: Florence, June 20-22, 1979 (Lecture Notes in Computer Science, 81)

Book

Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)

Book

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)