Conferences in DBLP
Albert Atserias Notions of Average-Case Complexity for Random 3-SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hyland Abstract Interpretation of Proofs: Classical Propositional Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Applications of Craig Interpolation to Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Urzyczyn My (Un)Favourite Things. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Rupak Majumdar , Marcin Jurdzinski On Nash Equilibria in Stochastic Games. [Citation Graph (0, 0)][DBLP ] Conf ] Mikolaj Bojanczyk A Bounding Quantifier. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo Gimbert Parity and Exploration Games on Infinite Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger , Konstantin Korovin Integrating Equational Reasoning into Instantiation-Based Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] George Metcalfe , Nicola Olivetti , Dov M. Gabbay Goal-Directed Methods for Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy E. Dawson , Rajeev Goré A General Theorem on Termination of Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Hyvernat Predicate Transformers and Linear Logic: Yet Another Denotational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Pietro Di Gianantonio Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Straßburger , François Lamarche On Proof Nets for Multiplicative Linear Logic with Units. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Immerman , Alexander Moshe Rabinovich , Thomas W. Reps , Shmuel Sagiv , Greta Yorsh The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Arenas , Pablo Barceló , Leonid Libkin Game-Based Notions of Locality Over Finite Models. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Abel , Ralph Matthes Fixed Points of Type Constructors and Primitive Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksy Schubert On the Building of Affine Retractions. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe de Groote , Sylvain Salvati Higher-Order Matching in the Linear lambda-calculus with Pairing. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Schöpp , Ian Stark A Dependent Type Theory with Names and Binding. [Citation Graph (0, 0)][DBLP ] Conf ] Tjark Weber Towards Mechanized Program Verification with Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio , Solange Coupet-Grimal , Silvano Dal-Zilio , Line Jakubiec A Functional Scenario for Bytecode Verification of Resource Bounds. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Isabella Mastroeni Proving Abstract Non-interference. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Maier Intuitionistic LTL and a New Characterization of Safety and Liveness. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Rohde Moving in a Crumbling Network: The Balanced Case. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Vineet Kahlon Parameterized Model Checking of Ring-Based Message Passing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Skelley A Third-Order Bounded Arithmetic Theory for PSPACE. [Citation Graph (0, 0)][DBLP ] Conf ] Andrés Cordón-Franco , Alejandro Fernández-Margarit , Francisco Félix Lara Martín Provably Total Primitive Recursive Functions: Theories with Induction. [Citation Graph (0, 0)][DBLP ] Conf ] David Richerby Logical Characterizations of PSPACE. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Schröder The Logic of the Partial lambda-Calculus with Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Goubault-Larrecq , Slawomir Lasota , David Nowak , Yu Zhang Complete Lax Logical Relations for Cryptographic Lambda-Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Jerome Vouillon Subtyping Union Types. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina , Nicolai Vorobjov Pfaffian Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yukiyoshi Kameyama Axioms for Delimited Continuations in the CPS Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Rychlikowski , Tomasz Truderung Set Constraints on Regular Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Lynch Unsound Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Avellone , Camillo Fiorentini , Guido Fiorino , Ugo Moscato A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Agata Ciabattoni Automated Generation of Analytic Calculi for Logics with Linearity. [Citation Graph (0, 0)][DBLP ] Conf ] 