Abstract is missing.
- Nonclausal Temporal DeductionMartín Abadi, Zohar Manna. 1-15
- Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract)Irina Bercovici. 16-22
- Lambda Calculus with Constrained Types (Extended Abstract)Val Breazu-Tannen, Albert R. Meyer. 23-40
- An Axiomatic Treatment of a Parallel Programming LanguageStephen D. Brookes. 41-60
- Recursive Definitions in Type TheoryRobert L. Constable, N. P. Mendler. 61-78
- Automata, Tableaux and Temporal Logics (Extended Abstract)E. Allen Emerson. 79-88
- Proving Termination of Prolog ProgramsNissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli. 89-105
- A Hoare Calculus for Functions Defined by Recursion on Higher TypesAndreas Goerdt. 106-117
- On the Relative Incompleteness of Logics for Total CorrectnessMichal Grabowski. 118-127
- Frm Synchronization Tree Logic to Acceptance Model LogicSusanne Graf, Joseph Sifakis. 128-142
- A FASE Specification of FPSamuel N. Kamin. 143-152
- On Asymptotic Probability of Inductive Queries and Their Decision ProblemPhokion G. Kolaitis. 153-166
- Compositional Semantics for Real-time Distributed ComputingRon Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. 167-189
- Partial-Correctness Theories as First-Order TheoriesDaniel Leivant. 190-195
- The Glory of the PastOrna Lichtenstein, Amir Pnueli, Lenore D. Zuck. 196-218
- Continuation Semantics in Typed Lambda-Calculi (Summary)Albert R. Meyer, Mitchell Wand. 219-224
- Second-Order Logical Relations (Extended Abstract)John C. Mitchell, Albert R. Meyer. 225-236
- Behavior: A Temporal Approach to Process ModellingVan Nguyen, Alan J. Demers, David Gries, Susan S. Owicki. 237-254
- Equational Logic as a Programming LanguageMichael J. O Donnell. 255
- Distributed Processes and the Logic of KnowledgeRohit Parikh, Ramaswamy Ramanujam. 256-268
- Some Constructions for Order-Theoretic Models of ConcurrencyVaughan R. Pratt. 269-283
- Proving Fairness of SchedulersRamaswamy Ramanujam, Kamal Lodaya. 284-301
- The Reasoning Powers of Burstall s (Modal Logic) and Pnueli s (Temporal Logic) Program Verification MethodsIldikó Sain. 302-342
- A Proof System for Distributed ProcessesAnn E. Kelley Sobel, Neelam Soundararajan. 343-358
- Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of LoopingRobert S. Streett. 359-372
- Semantical Analysis of Specification LogicRobert D. Tennent. 373-386
- Computer Aider ReasoningAndrzej Trybulec, Howard A. Blair. 406-412
- The Taming of Converse: Reasoning about Two-way ComputationsMoshe Y. Vardi. 413-423