Proof Planning for Feature Interactions: A Preliminary Report
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
The Metalanguage lambda-Prolog and Its Implementation
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Automatic Generation of Proof Search Strategies for Second-order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Connections in nonclassical logics
Handbook of automated reasoning
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
On constructive cut admissibility in deduction modulo
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
On herbrand's theorem for intuitionistic logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Testing concurrent systems: an interpretation of intuitionistic logic
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |