Conferences in DBLP
Matthias Baaz , Alexander Leitsch CERES in Many-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ullrich Hustadt , Boris Motik , Ulrike Sattler A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli Abstract DPLL and Abstract DPLL Modulo Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fontaine , Silvio Ranise , Calogero G. Zarba Combining Lists with Non-stably Infinite Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Miyuki Koshimura , Mayumi Umeda , Ryuzo Hasegawa Abstract Model Generation for Preprocessing Clause Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl , Kumar Neeraj Verma Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying. [Citation Graph (0, 0)][DBLP ] Conf ] Vilhelm Dahllöf Applications of General Exact Satisfiability in Propositional Logic Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Nathan Whitehead , Martín Abadi BCiC: A System for Code Authentication and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Areces , Daniel Gorín Ordered Resolution with Selection for H(@). [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Marcinkowski , Jan Otop , Grzegorz Stelmaszek On a Semantic Subsumption Test. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Linke , Vladimir Sarsakov Suitable Graphs for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Stijn Heymans , Dirk Vermeir Weighted Answer Sets and Applications in Intelligence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Walukiewicz How to Fix It: Using Fixpoints in Different Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Aminof , Thomas Ball , Orna Kupferman Reasoning About Systems with Transition Fairness. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Berwanger , Erich Grädel Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Hardin How the Location of * Influences Complexity in Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Di Cosmo , Thomas Dufour The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. [Citation Graph (0, 0)][DBLP ] Conf ] Gustav Nordh A Trichotomy in the Complexity of Propositional Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Lucas Bordeaux , Marco Cadoli , Toni Mancini Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Benedetti Evaluating QBFs via Symbolic Skolemization. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Giesl , René Thiemann , Peter Schneider-Kamp The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther , Stephan Schweitzer Automated Termination Analysis for Incompletely Defined Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Lennart Beringer , Martin Hofmann , Alberto Momigliano , Olha Shkaravska Automatic Certification of Heap Consumption. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Hankes Drielsma , Sebastian Mödersheim , Luca Viganò A Formalization of Off-Line Guessing for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Elvira Albert , Germán Puebla , Manuel V. Hermenegildo Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Schirmer A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Benzmüller , Volker Sorge , Mateja Jamnik , Manfred Kerber Can a Higher-Order and a First-Order Theorem Prover Cooperate?. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Helmut Seidl A Generic Framework for Interprocedural Analyses of Numerical Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Flávio L. C. de Moura , Fairouz Kamareddine , Mauricio Ayala-Rincón Second-Order Matching via Explicit Substitutions. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Bickford , Robert L. Constable , Joseph Y. Halpern , Sabina Petride Knowledge-Based Synthesis of Distributed Systems Using Event Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Donnelly , Tyler Gibson , Neel Krishnaswami , Stephen Magill , Sungwoo Park The Inverse Method for the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Stefan Hetzl , Alexander Leitsch , Clemens Richter , Hendrik Spohr Cut-Elimination: Experiments with CERES. [Citation Graph (0, 0)][DBLP ] Conf ] Agata Ciabattoni , Christian G. Fermüller , George Metcalfe Uniform Rules and Dialogue Games for Fuzzy Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Giovambattista Ianni , Roman Schindlauer , Hans Tompits Nonmonotonic Description Logic Programs: Implementation and Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo López , Jeff Polakow Implementing Efficient Resource Management for Linear Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] M. Jamshid Bagherzadeh , S. Arun-Kumar Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. [Citation Graph (0, 0)][DBLP ] Conf ] 