A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
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
Automating Inductive Specification Proofs
Fundamenta Informaticae
A proof-search procedure for intuitionistic propositional logic
Archive for Mathematical Logic
Hi-index | 0.00 |