Conferences in DBLP
Martín Abadi , Zohar Manna Nonclausal Temporal Deduction. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:1-15 [Conf ] 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 ] 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 ] Stephen D. Brookes An Axiomatic Treatment of a Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:41-60 [Conf ] Robert L. Constable , N. P. Mendler Recursive Definitions in Type Theory. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:61-78 [Conf ] E. Allen Emerson Automata, Tableaux and Temporal Logics (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:79-88 [Conf ] 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 ] 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 ] Michal Grabowski On the Relative Incompleteness of Logics for Total Correctness. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:118-127 [Conf ] 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 ] Samuel N. Kamin A FASE Specification of FP. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:143-152 [Conf ] 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 ] 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 ] Daniel Leivant Partial-Correctness Theories as First-Order Theories. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:190-195 [Conf ] 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 ] 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 ] 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 ] 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 ] Michael J. O'Donnell Equational Logic as a Programming Language. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:255- [Conf ] Rohit Parikh , Ramaswamy Ramanujam Distributed Processes and the Logic of Knowledge. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:256-268 [Conf ] Vaughan R. Pratt Some Constructions for Order-Theoretic Models of Concurrency. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:269-283 [Conf ] Ramaswamy Ramanujam , Kamal Lodaya Proving Fairness of Schedulers. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:284-301 [Conf ] 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 ] 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 ] 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 ] Robert D. Tennent Semantical Analysis of Specification Logic. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:373-386 [Conf ] Andrzej Trybulec , Howard A. Blair Computer Aider Reasoning. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:406-412 [Conf ] 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 ]