The SCEAS System
Navigation Menu

Conferences in DBLP

Logic of Programs (lop)
1979 (conf/lop/1979)

  1. Dexter Kozen
    On the Duality of Dynamic Algebras and Kripke Models. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:1-11 [Conf]
  2. 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:12-22 [Conf]
  3. Grazyna Mirkowska
    PAL - Propositional Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:23-101 [Conf]
  4. Rohit Parikh
    Propositional Dynamic Logics of Programs: a Survey. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:102-144 [Conf]
  5. Andrzej Salwicki
    On the Algorithmic Theory of Dictionaries. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:145-168 [Conf]
  6. Andrzej Salwicki, Tomasz Müldner
    On the Algorithmic Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:169-197 [Conf]
  7. Jerzy Tiuryn
    A Survey of the Logic of Effective Definitions. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:198-245 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002