Logics of Programs
Logics of Programs 1985: Brooklyn College, New York, NY, USA
Rohit Parikh (Ed.):
Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings.
Lecture Notes in Computer Science 193 Springer 1985, ISBN 3-540-15648-8
Contents BibTeX
Logics of Programs 1983: Pittsburgh, PA, USA
Edmund M. Clarke, Dexter Kozen (Eds.):
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings.
Lecture Notes in Computer Science 164 Springer 1984, ISBN 3-540-12896-4
Contents BibTeX
Logics of Programs 1981: Yorktown Heights, NY, USA
Dexter Kozen (Ed.):
Logics of Programs, Workshop, Yorktown Heights, New York, May 1981.
Lecture Notes in Computer Science 131 Springer 1982, ISBN 3-540-11212-X
Contents BibTeX
Logics of Programs 1980: Poznan, Poland
Andrzej Salwicki (Ed.):
Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980.
Lecture Notes in Computer Science 148 Springer 1983, ISBN 3-540-11981-7
Contents BibTeX
Logics of Programs 1979: Zürich, Switzerland
Erwin Engeler (Ed.):
Logics of Programs, Workshop, ETH Zürich, May-July 1979.
Lecture Notes in Computer Science 125 Springer 1981, ISBN 3-540-11160-3
Contents BibTeX
Copyright © Sat May 16 23:28:56 2009
by Michael Ley (ley@uni-trier.de)
