Conferences in DBLP
Yaniv Bargury , Johann A. Makowsky The Expressive Power of Transitive Closue and 2-way Multihead Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Egon Börger Correctness Proof For the WAM with Types. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best , Javier Esparza Model Checking of Persistent Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jawahar Chirimar , James Lipton Provability in TBLL: A Decision Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Dahlhaus How to Implement First Order Formulas in Local Memory Machine Models. [Citation Graph (0, 0)][DBLP ] Conf ] Solomon Feferman A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Fernando A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Flum On Bounded Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Goerdt The Cutting Plane Proof System with Bounded Degree of Falsity. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. González-Moreno , Maria Teresa Hortalá-González , Mario Rodríguez-Artalejo Denotational Versus Declarative Semantics for Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel On Transitive Closure Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Heusch , Ewald Speckenmeyer Some Aspects of the Probabilistic Behavior of Variants of Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Hirshfeld Safe Queries in Relational Databases with Functions. [Citation Graph (1, 0)][DBLP ] Conf ] John N. Hooker Logical Inference and Polyhedral Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Bösli Stable Logic. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao , Deepak Kapur , R. K. Shyamasundar A Transformational Methodology for Proving Termination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann Plausibility Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Leiß Towards Kleene Algebra with Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke Equational Specification of Abstract Types and Combinators. [Citation Graph (0, 0)][DBLP ] Conf ] Daniele Mundici Normal Forms in Infinite-Valued Logic: The Case of One Variable. [Citation Graph (0, 0)][DBLP ] Conf ] Halit Oguztüzün A Fragment of First Order Logic Adequate for Observation Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Pinchinat Ordinal Processes in Comparative Concurrency Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard R. Renardel de Lavalette Logical Semantics of Modularisation. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf R. Schmerl A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Schwichtenberg Minimal from Classical Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Seibert Quantifier Hierarchies over Word Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Iain A. Stewart On Completeness for NP via Projection Translations. [Citation Graph (0, 0)][DBLP ] Conf ] J. G. Thistle , W. Murray Wonham Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. [Citation Graph (0, 0)][DBLP ] Conf ] A. S. Troelstra Comparing the Theory of Representations and Constructive Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tyszkiewicz Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov On Completeness of Program Synthesis Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Weiermann Proving Termination for Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 