Conferences in DBLP
Ryuzo Hasegawa , Hiroshi Fujita , Miyuki Koshimura MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Mints Three Faces of Natural Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Seiki Akama Tableaux for Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Avellone , Pierangelo Miglioli , Ugo Moscato , Mario Ornaghi Generalized Tableau Systems for Intemediate Propositional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Uwe Egly , Christian G. Fermüller Lean Induction Principles for Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Peter Fröhlich , Ulrich Furbach , Wolfgang Nejdl Tableaux for Diagnosis Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Rajeev Goré Free Variable Tableaux for Propositional Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti , Nicola Olivetti A Sequent Calculus for Skeptical Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone A Fast Saturation Strategy for Set-Theoretic Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Serenella Cerrito , Marta Cialdea Mayer Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Li Dafa Automated Natural Deduction Prover and Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle , Christian Pape Ordered Tableaux: Extensions and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob M. Howe Two Loop Detection Mechanisms: A Comparision. [Citation Graph (0, 0)][DBLP ] Conf ] Ortrun Ibens , Reinhold Letz Subgoal Alternation in Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Gwen Kerdiles Projection: A Unification Procedure for Tableaux in Conceptual Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ján Komara , Paul J. Voda On Quasitautologies. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Tableaux Methods for Access Control in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang May Proving Correctness of Labled Transition Systems by Semantic Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Mayr Tableau Methods for PA-Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Niebert , Barbara Sprick A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Otten ileanTAP: An Intuitionistic Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Peltier Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Shults A Framework for Using Knowledge in Tableau Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Umberto Straccia A Sequent Calculus for Reasoning in Four-Valued Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Duminda Wijesekera , M. Ganesh , Jaideep Srivastava , Anil Nerode Tableaux for Functional Dependencies and Independencies. [Citation Graph (0, 0)][DBLP ] Conf ] 