dblp.uni-trier.de www.uni-trier.de

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)