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
BibTeX
Dexter Kozen
: On the Duality of Dynamic Algebras and Kripke Models. 1-11
BibTeX
Albert R. Meyer
,
Robert S. Streett
,
Grazyna Mirkowska
: The Deducibility Problem in Propositional Dynamic Logic. 12-22
BibTeX
Grazyna Mirkowska
: PAL - Propositional Algorithmic Logic. 23-101
BibTeX
Rohit Parikh
: Propositional Dynamic Logics of Programs: a Survey. 102-144
BibTeX
Andrzej Salwicki
: On the Algorithmic Theory of Dictionaries. 145-168
BibTeX
Andrzej Salwicki
,
Tomasz Müldner
: On the Algorithmic Properties of Concurrent Programs. 169-197
BibTeX
Jerzy Tiuryn
: A Survey of the Logic of Effective Definitions. 198-245
BibTeX
Copyright ©
Sat May 16 23:28:56 2009 by
Michael Ley
(
ley@uni-trier.de
)