Conferences in DBLP
Andrew W. Appel Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Anca Muscholl , Tayssir Touili Permutation Rewriting and Algorithmic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Moshe Y. Vardi Synthesizing Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kazushige Terui Light Affine Calculus and Polytime Strong Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Xi Dependent Types for Program Termination Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas The Engineering Challenge for Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell , Ajith Ramanathan , Andre Scedrov , Vanessa Teague Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Blanqui Definitions by Rewriting in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Rueß , Natarajan Shankar Deconstructing Shostak. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Stump , Clark W. Barrett , David L. Dill , Jeremy R. Levitt A Decision Procedure for an Extensional Theory of Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Guillem Godoy , Robert Nieuwenhuis On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Satyaki Das , David L. Dill Successive Approximation of Abstract Transition Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Scott D. Stoller A Bound on Attacks on Payment Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Lefteris M. Kirousis , Phokion G. Kolaitis A Dichotomy in the Complexity of Propositional Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo P. Fiore , Daniele Turi Semantics of Name and Value Passing. [Citation Graph (0, 0)][DBLP ] Conf ] James Laird A Fully Abstract Game Semantics of Local Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Hötzel Escardó , Alex K. Simpson A Universal Characterization of the Closed Euclidean Interval. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich Logician in the Land of OS: Abstract State Machines in Microsoft. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Avigad Eliminating Definitions and Skolem Functions in First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wieslaw Szwast , Lidia Tendera On the Decision Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold , Giacomo Lenzi , Jerzy Marcinkowski The Hierarchy inside Closed Monadic Sigma1 Collapses on the Infinite Binary Tree. [Citation Graph (0, 0)][DBLP ] Conf ] Taneli Huuskonen , Tapani Hyttinen On Definability of Order in Logic with Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen A. Cook , Antonina Kolokolova A Second-Order System for Polytime Reasoning Using Graedel's Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Mix Barrington , Neil Immerman , Clemens Lautemann , Nicole Schweikardt , Denis Thérien The Crane Beach Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Micah Adler , Neil Immerman An n! Lower Bound on Formula Size. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen , Jerzy Tiuryn Intuitionistic Linear Logic and Partial Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Ahmed Bouajjani Perturbed Turing Machines and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Thomas A. Henzinger , Rupak Majumdar From Verification to Control: Dynamic Programs for Omega-Regular Objectives. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Salvatore La Torre Deterministic Generators and Games for LTL Fragments. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Altenkirch , Peter Dybjer , Martin Hofmann , Philip J. Scott Normalization by Evaluation for Typed Lambda Calculus with Coproducts. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuko Yoshida , Martin Berger , Kohei Honda Strong Normalisation in the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jeffrey A Symbolic Labelled Transition System for Coinductive Subtyping of Fµ< Types. [Citation Graph (0, 0)][DBLP ] Conf ] Antonino Salibra A Continuum of Theories of Lambda Calculus without Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] David Janin , Giacomo Lenzi Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Lange , Colin Stirling Focus Games for Satisfiability and Completeness of Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Panagiotis Manolios , Richard J. Trefler Safety and Liveness in Branching Time. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Abiteboul Semistructured Data: from Practice to Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Glenn Bruns , Patrice Godefroid Temporal Logic Query Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu Typechecking XML Views of Relational Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Benedikt , Leonid Libkin , Thomas Schwentick , Luc Segoufin A Model-Theoretic Approach to Regular String Relations. [Citation Graph (0, 0)][DBLP ] Conf ] 