The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Martín Abadi, Zohar Manna
    Nonclausal Temporal Deduction. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:1-15 [Conf]
  2. Irina Bercovici
    Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:16-22 [Conf]
  3. Val Breazu-Tannen, Albert R. Meyer
    Lambda Calculus with Constrained Types (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:23-40 [Conf]
  4. Stephen D. Brookes
    An Axiomatic Treatment of a Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:41-60 [Conf]
  5. Robert L. Constable, N. P. Mendler
    Recursive Definitions in Type Theory. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:61-78 [Conf]
  6. E. Allen Emerson
    Automata, Tableaux and Temporal Logics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:79-88 [Conf]
  7. Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
    Proving Termination of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:89-105 [Conf]
  8. Andreas Goerdt
    A Hoare Calculus for Functions Defined by Recursion on Higher Types. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:106-117 [Conf]
  9. Michal Grabowski
    On the Relative Incompleteness of Logics for Total Correctness. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:118-127 [Conf]
  10. Susanne Graf, Joseph Sifakis
    Frm Synchronization Tree Logic to Acceptance Model Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:128-142 [Conf]
  11. Samuel N. Kamin
    A FASE Specification of FP. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:143-152 [Conf]
  12. Phokion G. Kolaitis
    On Asymptotic Probability of Inductive Queries and Their Decision Problem. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:153-166 [Conf]
  13. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
    Compositional Semantics for Real-time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:167-189 [Conf]
  14. Daniel Leivant
    Partial-Correctness Theories as First-Order Theories. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:190-195 [Conf]
  15. Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck
    The Glory of the Past. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:196-218 [Conf]
  16. Albert R. Meyer, Mitchell Wand
    Continuation Semantics in Typed Lambda-Calculi (Summary). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:219-224 [Conf]
  17. John C. Mitchell, Albert R. Meyer
    Second-Order Logical Relations (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:225-236 [Conf]
  18. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
    Behavior: A Temporal Approach to Process Modelling. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:237-254 [Conf]
  19. Michael J. O'Donnell
    Equational Logic as a Programming Language. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:255- [Conf]
  20. Rohit Parikh, Ramaswamy Ramanujam
    Distributed Processes and the Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:256-268 [Conf]
  21. Vaughan R. Pratt
    Some Constructions for Order-Theoretic Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:269-283 [Conf]
  22. Ramaswamy Ramanujam, Kamal Lodaya
    Proving Fairness of Schedulers. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:284-301 [Conf]
  23. Ildikó Sain
    The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:302-342 [Conf]
  24. Ann E. Kelley Sobel, N. Soundararajan
    A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:343-358 [Conf]
  25. Robert S. Streett
    Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:359-372 [Conf]
  26. Robert D. Tennent
    Semantical Analysis of Specification Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:373-386 [Conf]
  27. Andrzej Trybulec, Howard A. Blair
    Computer Aider Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:406-412 [Conf]
  28. Moshe Y. Vardi
    The Taming of Converse: Reasoning about Two-way Computations. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:413-423 [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