linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Connections in nonclassical logics
Handbook of automated reasoning
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
On herbrand's theorem for intuitionistic logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
The ILTP library: benchmarking automated theorem provers for intuitionistic logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |