Conferences in DBLP
David Aspinall Subtyping with Singleton Types. [Citation Graph (0, 0)][DBLP ] Conf ] Viviana Bono , Luigi Liquori A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Braüner The Girard Translation Extended with Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana B. Compagnoni Decidability of Higher-Order Subtyping with Intersection Types. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo Herbelin A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Kuper Usability: Formalising (Un)definedness in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Zaionc Lambda Representation of Operations Between Fifferent Term Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Gernot Salzer Semi-Unification and Generalizations of a Particularly Simple Form. [Citation Graph (0, 0)][DBLP ] Conf ] P. N. Benton A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lew Gordeev Cut Free Formalization of Logic with Finitely Many Variables. Part I. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Pudlák , Samuel R. Buss How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle Monadic Second-Order Logic and Linear Orderings of Finite Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Durand , Solomampionona Ranaivoson First-Order Spectra with One Binary Predicate. [Citation Graph (0, 0)][DBLP ] Conf ] Etienne Grandjean , Frédéric Olive Monadic Logical Definability of NP-Complete Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Lautemann , Thomas Schwentick , Denis Thérien Logics For Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Malmström Log-Approximable Minimization Problems on Random Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Monica McArthur Convergence and 0-1 Laws for L_inf, omega^k under Arbitrary Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei P. Stolboushkin , Michael A. Taitslin Is First Order Contained in an Initial Segment of PTIME? [Citation Graph (0, 0)][DBLP ] Conf ] Stacy E. Finkelstein , Peter J. Freyd , James Lipton Logic Programming in Tau Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Valentinas Kriauciukas , Michal Walicki Reasoning and Rewriting with Set-Relations I: Ground Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Hans de Nivelle Resolution Games and Non-Liftable Resolution Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus U. Schulz On Existential Theories of List Concatenation. [Citation Graph (0, 0)][DBLP ] Conf ] Tanel Tammet Completeness of Resolution for Definite Answers with Case Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Voda Subrecursion as a Basis for a Feasible Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Roy L. Crole , Andrew D. Gordon A Sound Metalogical Semantics for Input/Output Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Matt Fairtlough , Michael Mendler An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] David Lester , Sava Mintchev Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Yiannis N. Moschovakis , Glen T. Whitney Powerdomains, Powerstructures and Fairness. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Piessens , Eric Steegmans Canonical Forms for Data-Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Hermida , Bart Jacobs An Algebraic View of Structural Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hofmann On the Interpretation of Type Theory in Locally Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander V. Chagrov , Valentin B. Shehtman Algorithmic Aspects of Propositional Tense Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Cholewinski Stratified Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund A Homomorphism Concepts for omega-Regularity. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Leivant , Jean-Yves Marion Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. [Citation Graph (0, 0)][DBLP ] Conf ] Hrant B. Marandjian General Form Recursive Equations I. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Rybakov Modal Logics Preserving Admissible for S4 Inference Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Yu. Sazonov A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. [Citation Graph (1, 0)][DBLP ] Conf ] 