Conferences in DBLP
Maarten Marx XML Navigation and Tarski's Relation Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Anatol Slissenko Verification in Predicate Logic with Time: Algorithmic Questions. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz Note on Formal Analogical Reasoning in the Juridical Context. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Berger An Abstract Strong Normalization Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Collinson , David J. Pym , Edmund Robinson On Bunched Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Murphy VII , Karl Crary , Robert Harper Distributed Control Flow with Classical Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Adámek A Logic of Coequations. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-ya Katsumata A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. [Citation Graph (0, 0)][DBLP ] Conf ] Paula Severi , Fer-Jan de Vries Order Structures on Böhm-Like Models. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Stirling Higher-Order Matching and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Blanqui Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Barras , Benjamin Grégoire On the Role of Type Decorations in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Louis Curien , Claudia Faggian L-Nets, Strategies and Proof-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Gabriele Pulcini , Paul Ruet Permutative Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kaustuv Chaudhuri , Frank Pfenning Focusing the Inverse Method for Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Esfandiar Haghverdi , Philip J. Scott Towards a Typed Geometry of Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Hubie Chen , Víctor Dalmau From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Mostowski , Konrad Zdanowski Coprimality in Finite Models. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Benedikt , Luc Segoufin Towards a Characterization of Order-Invariant Queries over Tame Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Bakhadyr Khoussainov , Sasha Rubin Decidability of Term Algebras Extending Partial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Emanuel Kieronski Results on the Guarded Fragment with Equivalence or Transitive Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle , Christian Delhommé The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Balder ten Cate , Massimo Franceschet On the Complexity of Hybrid Logics with Binders. [Citation Graph (0, 0)][DBLP ] Conf ] Julian C. Bradfield , Stephan Kreutzer The Complexity of Independence-Friendly Fixpoint Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Antonina Kolokolova Closure Properties of Weak Systems of Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Julian C. Bradfield , Jacques Duparc , Sandra Quickert Transfinite Extension of the Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Charatonik , Lilia Georgieva , Patrick Maier Bounded Model Checking of Pointer Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Lutz PDL with Intersection and Converse Is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Filip Murlak On Deciding Topological Classes of Deterministic Tree Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Branimir Lambov Complexity and Intensionality in a Type-1 Framework for Computable Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Vasco Brattka , Matthias Schröder Computing with Sequences, Weak Topologies and the Axiom of Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Mircea-Dan Hernest Light Functional Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Soltys Feasible Proofs of Matrix Properties with Csanky's Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Perron A Propositional Proof System for Log Space. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Schürmann , Jatin Shah Identifying Polynomial-Time Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Guillem Godoy , Ashish Tiwari Confluence of Shallow Right-Linear Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Janos Makowsky , Alexander A. Razborov The Ackermann Award 2005. [Citation Graph (0, 0)][DBLP ] Conf ] Johann A. Makowsky Clemens Lautemann: 1951-2005 An Obituary . [Citation Graph (0, 0)][DBLP ] Conf ] 