Logics of Programs Brooklyn, June 17-19, 1985

Book

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

Book

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Book

Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Book

Logic of Programs Workshop, ETH Zürich, May-July 1979

Book

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

Book

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

Book

Functional Programming Languages and Computer Architecture Proceedings, Nancy, France, September 16-19, 1985

Book

COLOG-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Book

Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Book

Semantics of Data Types