HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:tableaux

Papers
A One-Pass Tree-Shaped Tableau for LTL+Past
Nicola Gigante, Angelo Montanari and Mark Reynolds
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Metis-based Paramodulation Tactic for HOL Light
Michael Färber and Cezary Kaliszyk
In:GCAI 2015. Global Conference on Artificial Intelligence
Extended Resolution as Certificates for Propositional Logic
Chantal Keller
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
Chad Brown and Christine Rizkallah
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Guido Fiorino
In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2019 easychair.org. All rights reserved.