Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Analogy in Inductive Theorem Proving
Journal of Automated Reasoning
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
System Description: inka 5.0 - A Logic Voyager
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Journal of Automated Reasoning
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |