Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
I-terms in ordered resolution and superposition calculi: retrieving lost completeness
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
| Hi-index | 0.00 |