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. Springer 1985 Lecture Notes in Computer Science 193 ISBN 3-540-15648-8 [ contents ]
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. Springer 1984 Lecture Notes in Computer Science 164 ISBN 3-540-12896-4 [ contents ]
Logics of Programs 1981: Yorktown Heights, NY, USA
- Dexter Kozen (Ed.): Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Springer 1982 Lecture Notes in Computer Science 131 ISBN 3-540-11212-X [ contents ]
Logics of Programs 1980: Poznan, Poland
- Andrzej Salwicki (Ed.): Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Springer 1983 Lecture Notes in Computer Science 148 ISBN 3-540-11981-7 [ contents ]
Logics of Programs 1979: Zürich, Switzerland
- Erwin Engeler (Ed.): Logics of Programs, Workshop, ETH Zürich, May-July 1979. Springer 1981 Lecture Notes in Computer Science 125 ISBN 3-540-11160-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team