Formal Aspects of Cognitive Processes: Proceedings, Interdisciplinary Conference, Ann Arbor, March 1972 (Lecture Notes in Computer Science, 22)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Mathematical Foundations of Computer Science 1976 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)
Group-Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science, 136)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977