Conferences in DBLP
A. J. Kfoury , Jerzy Tiuryn Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) [Citation Graph (0, 0)][DBLP ] Conf ] Edmund Robinson , Giuseppe Rosolini Polymorphism, Set Theory, and Call-by-Value [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Droste , Rüdiger Göbel Universal Domains in the Theory of Denotational Semantics of Programming Languages [Citation Graph (0, 0)][DBLP ] Conf ] Achim Jung The Classification of Continuous Domains (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze , Joxan Jaffar A Decision Procedure for a Class of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP ] Conf ] Jean-Louis Lassez , Ken McAloon A Constraint Sequent Calculus [Citation Graph (3, 0)][DBLP ] Conf ] Hubert Comon Solving Inequations in Term Algebras (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden The Dynamic Logic of Permission [Citation Graph (1, 0)][DBLP ] Conf ] V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel A Theory of Nonmonotonic Rule Systems [Citation Graph (1, 0)][DBLP ] Conf ] Stuart F. Allen , Robert L. Constable , Douglas J. Howe , William E. Aitken The Semantics of Reflected Proof [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Liu Xinxin Equation Solving Using Modal Transition Systems [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola , Frits W. Vaandrager Three Logics for Branching Bisimulation (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek , Scott A. Smolka , Bernhard Steffen , Chris M. N. Tofts Reactive, Generative, and Stratified Models of Probabilistic Processes [Citation Graph (0, 0)][DBLP ] Conf ] Faron Moller The Nonexistence of Finite Axiomatisations for CCS Congruences [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Moshe Y. Vardi 0-1 Laws for Infinitary Logics (Preliminary Report) [Citation Graph (7, 0)][DBLP ] Conf ] Phokion G. Kolaitis Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) [Citation Graph (2, 0)][DBLP ] Conf ] Peter Clote ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Gehlot , Carl A. Gunter Normal Process Representatives [Citation Graph (0, 0)][DBLP ] Conf ] Carolyn Brown , Doug Gurr A Categorical Linear Framework for Petri Nets [Citation Graph (0, 0)][DBLP ] Conf ] Serenella Cerrito A Linear Semantics for Allowed Logic Programs [Citation Graph (0, 0)][DBLP ] Conf ] R. C. Sekar , I. V. Ramakrishnan Programming in Equational Logic: Beyond Strong Sequentiality [Citation Graph (0, 0)][DBLP ] Conf ] Max Dauchet , Sophie Tison The Theory of Ground Rewrite Systems is Decidable [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne Well Rewrite Orderings [Citation Graph (0, 0)][DBLP ] Conf ] Chetan R. Murthy , James R. Russell A Constructive Proof of Higman's Lemma [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner , Francis Klay Syntactic Theories and Unification [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow Proof Transformations for Equational Theories [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Boudet , Evelyne Contejean , Hervé Devie A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Dörre , William C. Rounds On Subsumption and Semiunification in Feature Algebras [Citation Graph (0, 0)][DBLP ] Conf ] Stavros S. Cosmadakis , Albert R. Meyer , Jon G. Riecke Completeness for typed lazy inequalities [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand , Zheng-Yu Wang Conditional Lambda-Theories and the Verification of Static Properties of Programs [Citation Graph (0, 0)][DBLP ] Conf ] Juan C. Guzmán , Paul Hudak Single-Threaded Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Freyd , P. Mulry , Giuseppe Rosolini , Dana S. Scott Extensional PERs [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Gordon D. Plotkin A Per Model of Polymorphism and Recursive Types [Citation Graph (0, 0)][DBLP ] Conf ] Wesley Phoa Effective Domains and Intrinsic Structure [Citation Graph (0, 0)][DBLP ] Conf ] Harry R. Lewis A Logic of Concrete Time Intervals (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Thomas A. Henzinger Real-time Logics: Complexity and Expressiveness [Citation Graph (3, 0)][DBLP ] Conf ] Eyal Harel , Orna Lichtenstein , Amir Pnueli Explicit Clock Temporal Logic [Citation Graph (2, 0)][DBLP ] Conf ] Rajeev Alur , Costas Courcoubetis , David L. Dill Model-Checking for Real-Time Systems [Citation Graph (0, 0)][DBLP ] Conf ] Jerry R. Burch , Edmund M. Clarke , Kenneth L. McMillan , David L. Dill , L. J. Hwang Symbolic Model Checking: 10^20 States and Beyond [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Bernhard Steffen When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Goldman , Nancy A. Lynch Modelling Shared State in a Shared Action Model [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Michael Evangelist , Jai Srinivasan On the Limits of Efficient Temporal Decidability (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] David Harel , Roni Rosner , Moshe Y. Vardi On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Roy L. Crole , Andrew M. Pitts New Foundations for Fixpoint Computations [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Freyd Recursive Types Reduced to Inductive Types [Citation Graph (0, 0)][DBLP ] Conf ] 