External Rewriting for Skeptical Proof Assistants
Journal of Automated Reasoning
Deriving Focused Calculi for Transitive Relations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
CCE: Testing Ground Joinability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On using ground joinable equations in equational theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
On The Diversity Of Orderings On Strings
Fundamenta Informaticae
Hi-index | 0.00 |