Journal of Symbolic Computation
Decomposition ordering at a tool to prove the termination of rewriting systems
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |