Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hilbert's epsilon-Terms in Automated Theorem Proving
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Connections in nonclassical logics
Handbook of automated reasoning
lim+, δ+, and Non-Permutability of β-Steps
Journal of Symbolic Computation
Hi-index | 0.00 |