Conferences in DBLP
Gilles Dowek Third Order Matching is Decidable [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Paliath Narendran Double-exponential Complexity of Computing a Complete Set of AC-Unifiers [Citation Graph (0, 0)][DBLP ] Conf ] Adam J. Grove , Joseph Y. Halpern , Daphne Koller Random Worlds and Maximum Entropy [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Schwarz Minimal Model Semantics for Nonmonotonic Modal Logics [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Moshe Y. Vardi Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory [Citation Graph (3, 0)][DBLP ] Conf ] Erich Grädel , Gregory L. McColm Deterministic vs. Nondeterministic Transitive Closure Logic [Citation Graph (0, 0)][DBLP ] Conf ] Alexei P. Stolboushkin Axiomatizable Classes of Finite Models and Definability of Linear Order [Citation Graph (0, 0)][DBLP ] Conf ] Georges Gonthier , Jean-Jacques Lévy , Paul-André Melliès An abstract standardisation theorem [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Nakano A Constructive Formalization of the Catch and Throw Mechanism [Citation Graph (0, 0)][DBLP ] Conf ] Chetan R. Murthy A Computational Analysis of Girard's Translation and LC [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing Specification in Software Development [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Bard Bloom , Frits W. Vaandrager Turning SOS Rules into Equations [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark A Calculus of Dataflow Networks (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Jan Willem Klop , Catuscia Palamidessi Asynchronous Communication in Process Algebra [Citation Graph (0, 0)][DBLP ] Conf ] Irek Ulidowski Equivalences on Observable Processes [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin , Pierre Jouvelot The Type and Effect Discipline [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Jensen Disjunctive Strictness Analysis [Citation Graph (0, 0)][DBLP ] Conf ] Ian A. Mason , Carolyn L. Talcott References, Local Variables and Operational Reasoning [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovich Horn Programming in Linear Logic Is NP-Complete [Citation Graph (0, 0)][DBLP ] Conf ] Samson Abramsky , Radha Jagadeesan New Foundations for the Geometry of Interaction [Citation Graph (0, 0)][DBLP ] Conf ] Georges Gonthier , Martín Abadi , Jean-Jacques Lévy Linear Logic Without Boxes [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , John C. Mitchell Operational aspects of linear lambda calculus [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Origins of the Calculus of Binary Relations [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon , Marianne Haberstrau , Jean-Pierre Jouannaud Decidable Problems in Shallow Equational Theories (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Didier Caucal Monadic Theory of Term Rewritings [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihito Toyama Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems [Citation Graph (0, 0)][DBLP ] Conf ] Anil Seth There is No Recursive Axiomatization for Feasible Functionals of Type~2 [Citation Graph (0, 0)][DBLP ] Conf ] Peter Clote Cutting Planes and constant depth Frege proofs [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Subtype Inequalities [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze , Joxan Jaffar An Engine for Logic Program Analysis [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Aiken , Edward L. Wimmers Solving Systems of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP ] Conf ] Vijay A. Saraswat The Category of Constraint Systems is Cartesian-Closed [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Jouko A. Väänänen Generalized Quantifiers and Pebble Games on Finite Structures [Citation Graph (2, 0)][DBLP ] Conf ] Lauri Hella Logical Hierarchies in PTIME [Citation Graph (2, 0)][DBLP ] Conf ] Joseph Y. Halpern , Bruce M. Kapron Zero-One Laws for Modal Logic [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine Symbolic Model Checking for Real-time Systems [Citation Graph (0, 0)][DBLP ] Conf ] John Hannan , Frank Pfenning Compiler Verification in LF [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg Mixing List Recursion and Arithmetic [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Louis Curien Observable Algorithms on Concrete Data Structures [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Freyd , E. P. Robinson , Giuseppe Rosolini Functorial Parametricity [Citation Graph (0, 0)][DBLP ] Conf ] Herman Geuvers The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi [Citation Graph (0, 0)][DBLP ] Conf ] Ugo de'Liguoro , Adolfo Piperno , Richard Statman Retracts in simply typed lambda-beta-eta-calculus [Citation Graph (0, 0)][DBLP ] Conf ] 