Conferences in DBLP
Stål Aanderaa A Universal Turing Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Stål Aanderaa , Herman Ruge Jervell Recursive Inseparability in Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei N. Artëmov , Tyko Straßen The Basic Logic of Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Richard Zach Algorithmic Structuring of Cut-free Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Behrendt , Kevin J. Compton , Erich Grädel Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] P. N. Benton , Gavin M. Bierman , Valeria de Paiva , Martin Hyland Linear Lambda-Calculus and Categorial Models Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Berarducci , Corrado Böhm A Self-Interpreter of Lambda Calculus Having a Normal Form. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Bosse An "Ehrenfeucht-Fraïssé Game" for Fixpoint Logic and Stratified Fixpoint Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Nadia Creignou The Class of Problems that are Linear Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Christian G. Fermüller , Alexander Leitsch Model Building by Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Fernando Comparative Transition System Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Gavilanes-Franco , Francisca Lucio-Carrasco , Mario Rodríguez-Artalejo Reasoning with Higher Order Partial Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Glavan , Dean Rosenzweig Communicating Evolving Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. González-Moreno , Maria Teresa Hortalá-González , Mario Rodríguez-Artalejo On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Martin Otto Inductive Definability with Counting on Finite Structures. [Citation Graph (5, 0)][DBLP ] Conf ] Etienne Grandjean Linear Time Algorithms and NP-Complete Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich , James K. Huggins The Semantics of the C Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Furio Honsell , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott A Theory of Classes for a Functional Language with Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Lautemann Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Marzetta Universes in the Theory of Types and Names. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Mitchell , Andre Scedrov Notes on Sconing and Relators. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Schiermeyer Solving 3-Satisfiability in Less Then 1, 579n Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Jan M. Smith Kleene's Slash and Existence of Values of Open Terms in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Stärk Negation-Complete Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Iain A. Stewart Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tyszkiewicz On Asymptotic Probabilities of Monadic Second Order Properties. [Citation Graph (0, 0)][DBLP ] Conf ] 