RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Proving Associative-Communicative Termination Using RPO-Compatible Orderings
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Journal of Automated Reasoning
Hi-index | 0.00 |