Conferences in DBLP
Parosh Aziz Abdulla , Ahmed Bouajjani , Julien d'Orso Deciding Monotonic Games. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard K. Aichernig The Commuting V-Diagram. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Laurent Mazaré Concurrent Construction of Proof-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei N. Artëmov Back to the Future: Explicit Logic for Computer Science (Invited Lecture). [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bodirsky , Jaroslav Nesetril Constraint Satisfaction with Countable Homogeneous Templates. [Citation Graph (0, 0)][DBLP ] Conf ] Ferdinand Börner , Andrei A. Bulatov , Peter Jeavons , Andrei A. Krokhin Quantified Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani Verification of Infinite State Systems (Tutorial). [Citation Graph (0, 0)][DBLP ] Conf ] Julian C. Bradfield Parity of Imperfection of Fixing Independence. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Brünnler Atomic Cut Elimination for classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Buchberger Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Marcin Jurdzinski , Thomas A. Henzinger Simple Stochastic Parity Games. [Citation Graph (0, 0)][DBLP ] Conf ] Yijia Chen , Jörg Flum Machine Characterization of the Classes of the W-Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Yannick Chevalier , Ralf Küsters , Michaël Rusinowitch , Mathieu Turuani , Laurent Vigneron Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan S. Dantchev , Søren Riis On Relativisation and Complexity Gap. [Citation Graph (0, 0)][DBLP ] Conf ] René David , Bruno Guillaume Strong Normalization of the Typed gammaws -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar , David Richerby A Fixed-Point Logic with Symmetric Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Duparc Positive Games and Persistent Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Kazuhisa Makino Generating All Abductive Explanations for Queries on Propositional Horn Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Gerhardy Refined Complexity Analysis of Cut Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Grohe , Nicole Schweikardt Comparing the Succinctness of Monadic Query Languages over Finite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Hitchcock , Jack H. Lutz , Sebastiaan Terwijn The Arithmetical Complexity of Dimension and Randomness. [Citation Graph (0, 0)][DBLP ] Conf ] Rosalie Iemhoff Towards a Proof System for Admissibility. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Kähler , Thomas Wilke Program Complexity of Dynamic LTL Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovich , Jacqueline Vauzeilles Coping Polynomially with Numerous but Identical Elements within Planning Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Bakhadyr Khoussainov On Algebraic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Jonathan Panttaja On the Complexity of Existential Pebble Games. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Kristiansen , Paul J. Voda The Surprising Power of Restricted Programs and Gödel's Functionals. [Citation Graph (0, 0)][DBLP ] Conf ] Lukasz Krzeszczakowski Pebble Games on Trees. [Citation Graph (0, 0)][DBLP ] Conf ] James Laird Bistability: An Extensional Characterization of Sequentiality. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Leiß , Michel de Rougemont Automata on Lempel-ziv Compressed Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Larisa Maksimova , Andrei Voronkov Complexity of Some Problems in Modal and Intuitionistic Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] George Metcalfe , Nicola Olivetti , Dov M. Gabbay Goal-Directed Calculli for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden , Manas Patra A Logic for Probability in Quantum Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Miquel A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Moser , Richard Zach The Epsilon Calculus (Tutorial). [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Reus Modular Semantics and Logics of Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Marko Samer , Helmut Veith Validity of CTL Queries Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Sato , Takafumi Sakurai , Yukiyoshi Kameyama , Atsushi Igarashi Calculi of Meta-variables. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Schröder Henkin Models of the Partial sigma-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Urban , Andrew M. Pitts , Murdoch Gabbay Nominal Unificaiton. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Veith Friends or Foes? Communities in Software Verification (Invited Lecture). [Citation Graph (0, 0)][DBLP ] Conf ] Kess F. M. Vermeulen More Computation Power for a Denotational Semantics for First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolai Vorobjov Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture). [Citation Graph (0, 0)][DBLP ] Conf ] Nicolai Vorobjov Effective Quantifier Elimination over Real Closed Fields (Tutorial). [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Rybina , Andrei Voronkov Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). [Citation Graph (0, 0)][DBLP ] Conf ] Igor Walukiewicz Winning Strategies and Synthesis of Controllers (Tutorial). [Citation Graph (0, 0)][DBLP ] Conf ] Yu Zhang , David Nowak Logical Relations for Dynamic Name Creation. [Citation Graph (0, 0)][DBLP ] Conf ] 