Conferences in DBLP
Yonit Kesten , Amir Pnueli A Complete Proof Systems for QPTL [Citation Graph (0, 0)][DBLP ] Conf ] Igor Walukiewicz Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Amir Pnueli Once and For All [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Dutertre Complete Proof Systems for First Order Interval Temporal Logic [Citation Graph (0, 0)][DBLP ] Conf ] James F. Lynch , Jerzy Tyszkiewicz The Infinitary Logic of Sparse Random Graphs [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar , Erich Grädel Generalized Quantifiers and 0-1 Laws [Citation Graph (0, 0)][DBLP ] Conf ] Georg Gottlob Relativized Logspace and Generalized Quantifiers over Finite Structures [Citation Graph (0, 0)][DBLP ] Conf ] Jan Paredaens , Jan Van den Bussche , Dirk Van Gucht First-order Queries on Finite Structures over the Reals [Citation Graph (13, 0)][DBLP ] Conf ] Rajeev Alur , Doron Peled , Wojciech Penczek Model-Checking of Causality Properties [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi On the Complexity of Modular Model Checking [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang Timing Behavior Analysis for Real-Time Systems [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Rachid Echahed , Peter Habermehl On the Verification Problem of Nonregular Properties for Nonregular Processes [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. C. Gordon The Semantic Challenge of Verilog HDL [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Donald W. Loveland Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Structural Cut Elimination [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Lynch Paramodulation without Duplication [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning [Citation Graph (0, 0)][DBLP ] Conf ] Alex Mifsud , Robin Milner , A. John Power Control Structures [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek , Gordon D. Plotkin Configuration Structures [Citation Graph (0, 0)][DBLP ] Conf ] Simon J. Gay , Rajagopal Nagarajan A Typed Calculus of Synchronous Processes [Citation Graph (0, 0)][DBLP ] Conf ] Marino Miculan , Fabio Gadducci Modal mu-Types for Processes [Citation Graph (0, 0)][DBLP ] Conf ] Samson Abramsky , Guy McCusker Games and Full Abstraction for the Lazy lambda-Calculus [Citation Graph (0, 0)][DBLP ] Conf ] Abbas Edalat Domain Theory in Stochastic Processes [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jeffrey A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Constable Experience with Type Theory as a Foundation for Computer Science [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Dougherty , Ramesh Subrahmanyam Equality between Functionals in the Presence of Coproducts [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Longo , Kathleen Milsted , Sergei Soloviev A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Adolfo Piperno Normalization and Extensionality (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] A. J. Kfoury , J. B. Wells New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi [Citation Graph (0, 0)][DBLP ] Conf ] Alexei P. Stolboushkin Finitely Monotone Properties [Citation Graph (1, 0)][DBLP ] Conf ] Kousha Etessami , Neil Immerman Tree Canonization and Transitive Closure [Citation Graph (3, 0)][DBLP ] Conf ] Martin Otto Ptime Canonization for Two Variables with Counting [Citation Graph (0, 0)][DBLP ] Conf ] Anil Seth When Do Fixed Point Logics Capture Complexity Classes? [Citation Graph (1, 0)][DBLP ] Conf ] Gilles Dowek , Thérèse Hardin , Claude Kirchner Higher-Order Unification via Explicit Substitutions (Extended Abstract) [Citation Graph (1, 0)][DBLP ] Conf ] Hubert Comon , Robert Nieuwenhuis , Albert Rubio Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Girish Bhat , Rance Cleaveland , Orna Grumberg Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Reif Andersen Partial Model Checking (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Tronci Hardware Verification, Boolean Logic Programming, Boolean Functional Programming [Citation Graph (0, 0)][DBLP ] Conf ] Alex K. Simpson Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Wang Yi Compositional Testing Preorders for Probabilistic Processes [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt The Stone Gamut: A Coordinatization of Mathematics [Citation Graph (0, 0)][DBLP ] Conf ] Erik Palmgren , Viggo Stoltenberg-Hansen Logically Presented Domains [Citation Graph (0, 0)][DBLP ] Conf ] François Lamarche Games Semantics for Full Propositional Linear Logic [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , Andre Scedrov , Natarajan Shankar Decision Problems for Second-Order Linear Logic [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovich The Complexity of Neutrals in Linear Logic [Citation Graph (0, 0)][DBLP ] Conf ] Alexey P. Kopylov Decidability of Linear Affine Logic [Citation Graph (0, 0)][DBLP ] Conf ] Boris A. Trakhtenbrot Origins and Metamorphoses of the Trinity: Logic, Nets, Automata [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon Sequentiality, Second Order Monadic Logic and Tree Automata [Citation Graph (0, 0)][DBLP ] Conf ] 