RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Dependency Pairs for Equational Rewriting
RTA '01 Proceedings of the 12th 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
Monotonic AC-compatible semantic path orderings
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |