Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
An algorithm for finding canonical sets of ground rewrite rules in polynomial time
Journal of the ACM (JACM)
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Journal of Automated Reasoning
Selected AI-related dissertations
ACM SIGART Bulletin
Derivational complexity of knuth-bendix orders revisited
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |