Conferences in DBLP
Randal E. Bryant , Steven M. German , Miroslav N. Velev Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Peter F. Patel-Schneider , Ian Horrocks DLP and FaCT. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Boyapati , Rajeev Goré KtSeqC: System Description. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Automated Reasoning and the Verification of Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle , Bernhard Beckert Proof Confluent Tableau Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Christian G. Fermüller Analytic Calculi for Projective Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Joseph Douglas Horton , Bruce Spencer Merge Path Improvements for Minimal Model Hyper Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Krysia Broda , Dov M. Gabbay CLDS for Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] James Caldwell Intuitionistic Tableau Extracted. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Calogero G. Zarba A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. [Citation Graph (0, 0)][DBLP ] Conf ] Agata Ciabattoni Bounded Contraction in Systems with Linearity. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe de Groote The Non-Associative Lambek Calculus with Product in Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Rajeev Goré Cut-Free Display Calculi for Nominal Tense Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Giese , Wolfgang Ahrendt Hilbert's epsilon-Terms in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Paul C. Gilmore Partial Functions in an Impredicative Simple Theory of Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Goubault-Larrecq A Simple Sequent System for First-Order Logic with Free Constructors. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel , Jens Otten linTAP: A Tableau Prover for Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang May A Tableau Calculus for a Temporal Logic with Temporal Connectives. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Monz , Maarten de Rijke A Tableau Calculus for Pronoun Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Heribert Schütz Generating Minimal Herbrand Models Step by Step. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslava Tzakova Tableau Calculi for Hybrid Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Peter Wirth Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Endriss An Interactive Theorem Proving Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Endriss A Time Efficient KE Based Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Wolf , Joachim Draeger Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 