Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Recognizing boolean closed A-tree languages with membership conditional rewriting mechanism
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Disunification for ultimately periodic interpretations
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Predicate completion for non-Horn clause sets
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |