Conferences in DBLP
Ronald Fagin Logic, Complexity, and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Birkedal A General Notion of Realizability. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Miquel A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Alex K. Simpson , Gordon D. Plotkin Complete Axioms for Categorical Fixed-Point Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Lindell , Scott Weinstein The Role of Decidability in First Order Separations over Classes of Finite Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Achim Blumensath , Erich Grädel Automatic Structures. [Citation Graph (1, 0)][DBLP ] Conf ] Foto N. Afrati , Hans Leiß , Michel de Rougemont Definability and Compression. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel R. Buss , Bruce M. Kapron Resource-Bounded Continuity and Sequentiality for Type-Two Functionals. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Aehlig , Helmut Schwichtenberg A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Josee Desharnais , Vineet Gupta , Radha Jagadeesan , Prakash Panangaden Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Bard Bloom , Wan Fokkink , Rob J. van Glabbeek Precongruence Formats for Decorated Trace Preorders. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , John Havlicek , Richard J. Trefler Virtual Symmetry Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Aletta Nylén Better is Better than Well: On Efficient Verification of Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Thomas A. Henzinger Concurrent Omega-Regular Games. [Citation Graph (0, 0)][DBLP ] Conf ] Kjell Lemström , Lauri Hella Approximate Pattern Matching is Expressible in Transitive Closure Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Clifford Bergman , Giora Slutzki Computational Complexity of Some Problems Involving Congruences on Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Saul Kripke From the Church-Turing Thesis to the First-Order Algorithm Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman Satisfiability Testing: Recent Developments and Challenge Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej S. Murawski , C.-H. Luke Ong Dominator Trees and Fast Verification of Proof Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Juliusz Chroboczek Game Semantics and Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Danos , Russell Harmer Probabilistic Game Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Colin Hirsch , Martin Otto Back and Forth between Guarded and Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Reynolds More Past Glories. [Citation Graph (0, 0)][DBLP ] Conf ] Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Nakano A Modality for Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Prost A Static Calculus of Dependencies for the lambda-Cube. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Rybina , Andrei Voronkov A Decision Procedure for Term Algebras with Queues. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantin Korovin , Andrei Voronkov A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Some Strategies for Proving Theorems with a Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jeffrey , Julian Rathke A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luca Cattani , Peter Sewell Models for Name-Passing Processes: Interleaving and Causal. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuko Yoshida , Matthew Hennessy Assigning Types to Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Grohe , Luc Segoufin On First-Order Topological Queries. [Citation Graph (1, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi View-Based Query Processing and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Xi Imperative Programming with Dependent Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Palsberg , Tian Zhao Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Guillem Godoy , Robert Nieuwenhuis Paramodulation with Built-in Abelian Groups. [Citation Graph (0, 0)][DBLP ] Conf ] 