Conferences in DBLP
Victor Vianu Topological Queries in Spatial Databases. [Citation Graph (0, 0)][DBLP ] Conf ] José L. Balcázar The Consistency Dimension, Compactness, and Query Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Grohe Descriptive and Parameterized Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses Logical Specification of Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Javier Esparza , Andreas Podelski Constraint-Based Analysis of Broadcast Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Stephan Kreutzer Descriptive Complexity Theory for Constraint Databases. [Citation Graph (3, 0)][DBLP ] Conf ] Daniel Leivant Applicative Control and Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Jürgen Giesl Applying Rewriting Techniques to the Verification of Erlang Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper B. Møller , Jakob Lichtenberg , Henrik Reif Andersen , Henrik Hulgaard Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fränzle Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. [Citation Graph (0, 0)][DBLP ] Conf ] Yonit Kesten , Amir Pnueli Verifying Liveness by Augmented Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Marthedal Rasmussen Signed Interval Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Hirshfeld , Alexander Moshe Rabinovich Quantitative Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert , Paul Gastin An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Eduardo Bonelli Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Maribel Fernández , Ian Mackie Closed Reductions in the lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Samin S. Ishtiaq , David J. Pym Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Balat , Roberto Di Cosmo A Linear Logical View of Linear Type Isomorphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Marina De Vos , Dirk Vermeir Choice Logic Programs and Nash Equilibria in Strategic Games. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeki Hagihara , Naoki Yonezaki Resolution Method for Modal Logic with Well-Founded Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Tobies A NExpTime-Complete Description Logic Strictly Contained in C2 . [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Areces , Patrick Blackburn , Maarten Marx A Road-Map on Complexity for Hybrid Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Lautemann , Bernhard Weinzinger MonadicNLIN and Quantifier-Free Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Marcinkowski Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games. [Citation Graph (0, 0)][DBLP ] Conf ] Julian C. Bradfield Fixpoint Alternation and the Game Quantifier. [Citation Graph (0, 0)][DBLP ] Conf ] Jacobo Torán Lower Bounds for Space in Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Iain A. Stewart Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws. [Citation Graph (0, 0)][DBLP ] Conf ] Lev D. Beklemishev Open Least Element Principle and Bounded Query Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Ker , Hanno Nickau , C.-H. Luke Ong A Universal Innocent Game Model for the Böhm Tree Lambda Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana B. Compagnoni , Healfdene Goguen Anti-Symmetry of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Herman Geuvers , Erik Poll , Jan Zwanenburg Safe Proof Checking in Type Theory with Y. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Altenkirch , Bernhard Reus Monadic Presentations of Lambda Terms Using Generalized Inductive Types. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Roversi A P-Time Completeness Proof for Light Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl , Andreas Neumann On Guarding Nested Fixpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Antonín Kucera , Javier Esparza A Logical Viewpoint on Process-Algebraic Quotients. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Gastin , Michael W. Mislove A Truly Concurrent Semantics for a Simple Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jo Erskine Hannay Specification Refinement with System F. [Citation Graph (0, 0)][DBLP ] Conf ] Furio Honsell , Donald Sannella Pre-logical Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiki Kinoshita , John Power Data-Refinement for Call-By-Value Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Aart Middeldorp Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Howe Interactive Theorem Proving Using Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] 