A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Exploiting Conditional Equivalences in Connection Calculi
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hi-index | 0.00 |