Conferences in DBLP
John Alan Robinson Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) [Citation Graph (0, 0)][DBLP ] Conf ] László Csirmaz , Bradd Hart Program Correctness on Finite Fields [Citation Graph (0, 0)][DBLP ] Conf ] Steven M. German , Edmund M. Clarke , Joseph Y. Halpern True Relative Completeness of an Axiom System for the Language L4 (Abridged) [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Zohar Manna , Richard J. Waldinger Towards Deductive Synthesis of Dataflow Networks [Citation Graph (0, 0)][DBLP ] Conf ] William C. Rounds , Robert T. Kasper A Complete Logical Calculus for Record Structures Representing Linguistic Information [Citation Graph (1, 0)][DBLP ] Conf ] Albert R. Meyer Floyd-Hoare Logic Defines Semantics: Preliminary Version [Citation Graph (0, 0)][DBLP ] Conf ] Lennart Beckman , Rune Gustavsson , Annika Wærn An Algebraic Model of Parallel Execution of Logic Programs [Citation Graph (0, 0)][DBLP ] Conf ] Stephen D. Brookes A Semantically Based Proof System for Partial Correctness and Deadlock in CSP [Citation Graph (0, 0)][DBLP ] Conf ] Luís Monteiro , Fernando C. N. Pereira A Sheaf-Theoretic Model of Concurrency [Citation Graph (0, 0)][DBLP ] Conf ] David B. Benson , Ofer Ben-Shachar Strong Bisimulation of State Automata [Citation Graph (0, 0)][DBLP ] Conf ] Christine Mohring Algorithm Development in the Calculus of Constructions [Citation Graph (0, 0)][DBLP ] Conf ] John S. Schlipf How Uncomputable is General Circumscription? (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] J. Shultis The Design and Implementations of Intuit [Citation Graph (1, 0)][DBLP ] Conf ] Ian A. Mason Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio , Kim B. Bruce , Giuseppe Longo The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Felleisen , Daniel P. Friedman , Eugene E. Kohlbecker , Bruce F. Duba Reasoning with Continuations [Citation Graph (0, 0)][DBLP ] Conf ] Carl A. Gunter The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , John H. Williams , Edward L. Wimmers Good Rewrite Strategies for FP [Citation Graph (0, 0)][DBLP ] Conf ] David A. Plaisted The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Zohar Manna A Timely Resolution [Citation Graph (0, 0)][DBLP ] Conf ] Shang-Ching Chou , Hai-Ping Ko On Mechanical Theorem Proving in Minkowskian Plane Geometry [Citation Graph (0, 0)][DBLP ] Conf ] Joëlle Despeyroux Proof of Translation in Natural Semantics [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner Computing Unification Algorithms [Citation Graph (0, 0)][DBLP ] Conf ] Mario Coppo , Maddalena Zacchi Type inference and logical relations [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Coquand An Analysis of Girard's Paradox [Citation Graph (0, 0)][DBLP ] Conf ] Todd B. Knoblock , Robert L. Constable Formalized Metareasoning in Type Theory [Citation Graph (0, 0)][DBLP ] Conf ] N. P. Mendler , Prakash Panangaden , Robert L. Constable Infinite Objects in Type Theory [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Yves Girard Quantitative and Qualitative Semantics (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP ] Conf ] Michael C. Browne An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Chin-Laung Lei Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) [Citation Graph (1, 0)][DBLP ] Conf ] Joseph Y. Halpern , Yoav Shoham A Propositional Model Logic of Time Intervals [Citation Graph (2, 0)][DBLP ] Conf ] Johann A. Makowsky , Ildikó Sain On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Perrin , Paul E. Schupp Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories [Citation Graph (0, 0)][DBLP ] Conf ] Roni Rosner , Amir Pnueli A Choppy Logic [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Parikh Levels of Knowledge in Distributed Computing [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Lenore D. Zuck Probabilistic Verification by Tableaux [Citation Graph (1, 0)][DBLP ] Conf ] Moshe Y. Vardi , Pierre Wolper An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) [Citation Graph (3, 0)][DBLP ] Conf ] Leo Bachmair , Nachum Dershowitz , Jieh Hsiang Orderings for Equational Proofs [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Emmanuel Kounalis Automatic Proofs by Induction in Equational Theories Without Constructors [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , David R. Musser Inductive Reasoning with Incomplete Specifications (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Richard Statman On Translating Lambda Terms into Combinators; The Basis Problem [Citation Graph (0, 0)][DBLP ] Conf ] 