Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
An algorithm for finding canonical sets of ground rewrite rules in polynomial time
Journal of the ACM (JACM)
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Simultaneous Rigid E-Unification and Related Algorithmic Problems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Decidability Problems for the Prenex Fragment of Intuitionistic Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
SAT encoding of unification in ELHR+ w.r.t. cycle-restricted ontologies
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
| Hi-index | 0.00 |