A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Model elimination and connection tableau procedures
Handbook of automated reasoning
Hi-index | 0.00 |