Conferences in DBLP
Ian Horrocks Reasoning with Expressive Description Logics: Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Guoqiang Pan , Ulrike Sattler , Moshe Y. Vardi BDD-Based Decision Procedures for K. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Bernard , Peter Lee Temporal Logic for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP ] Conf ] Robert R. Schneck , George C. Necula A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Strecker Formal Verification of a Java Compiler in Isabelle. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly Embedding Lax Logic into Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Larchey-Wendling Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , Daniel Méry Connection-Based Proof Search in Propositional BI Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper B. Møller DDDLIB: A Library for Solving Quantified Difference Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Joe Hurd An LCF-Style Interface between HOL and First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Zimmer , Michael Kohlhase System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg H. Siekmann , Christoph Benzmüller , Vladimir Brezhnev , Lassaad Cheikhrouhou , Armin Fiedler , Andreas Franke , Helmut Horacek , Michael Kohlhase , Andreas Meier , Erica Melis , Markus Moschner , Immanuel Normann , Martin Pollet , Volker Sorge , Carsten Ullrich , Claus-Peter Wirth , Jürgen Zimmer Proof Development with OMEGA. [Citation Graph (0, 0)][DBLP ] Conf ] Mateja Jamnik , Manfred Kerber , Martin Pollet Learn Omega-matic: System Description. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Areces , Juan Heguiabehere HyLoRes 1.0: Direct Resolution for Hybrid Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Goldberg Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour A Note on Symmetry Heuristics in SEM. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Ahrendt Deductive Search for Errors in Free Data Type Specifications Using Model Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Audemard , Belaid Benhamou Reasoning by Symmetry and Function Ordering in Finite Model Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Gramlich , Reinhard Pichler Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt A New Clausal Class Decidable by Hyperresolution. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Weidenbach , Uwe Brahm , Thomas Hillenbrand , Enno Keen , Christian Theobald , Dalibor Topic S PASS Version 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Schulz , Geoff Sutcliffe System Description: GrAnDe 1.0. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Colton The HR Program for Theorem Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Whalen , Johann Schumann , Bernd Fischer AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. [Citation Graph (0, 0)][DBLP ] Conf ] Lintao Zhang , Sharad Malik The Quest for Efficient Boolean Satisfiability Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Borralleras , Salvador Lucas , Albert Rubio Recursive Path Orderings Can Be Context-Sensitive. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger Shostak Light. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Ford , Natarajan Shankar Formal Verification of a Combination Decision Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Calogero G. Zarba Combining Multisets with Integers. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence C. Paulson The Reflection Theorem: A Study in Meta-theoretic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Stump , David L. Dill Faster Proof Checking in the Edinburgh Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Chad E. Brown Solving for Set Variables in Higher-Order Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Ulrike Sattler , Moshe Y. Vardi The Complexity of the Graded µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mendonça de Moura , Harald Rueß , Maria Sorea Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Miquel Bofill , Albert Rubio Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Lynch , Barbara Morawska Basic Syntactic Mutation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hillenbrand , Bernd Löchner The Next W ALDMEISTER Loop. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli Focussing Proof-Net Construction as a Middleware Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz Proof Analysis by Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] 