
Conferences in DBLP
 Dexter Kozen
On the Duality of Dynamic Algebras and Kripke Models. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:111 [Conf]
 Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
The Deducibility Problem in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:1222 [Conf]
 Grazyna Mirkowska
PAL  Propositional Algorithmic Logic. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:23101 [Conf]
 Rohit Parikh
Propositional Dynamic Logics of Programs: a Survey. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:102144 [Conf]
 Andrzej Salwicki
On the Algorithmic Theory of Dictionaries. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:145168 [Conf]
 Andrzej Salwicki, Tomasz Müldner
On the Algorithmic Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:169197 [Conf]
 Jerzy Tiuryn
A Survey of the Logic of Effective Definitions. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:198245 [Conf]
