Rewrite Systems for Natural, Integral, and Rational Arithmetic

Authors:
Evelyne Contejean;Claude Marché;Landy Rabehasaina
Affiliations:
-;-;-
Venue:
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Year:
1997

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming
The rational numbers as an abstract data type

Journal of the ACM (JACM)
Monotonic AC-compatible semantic path orderings

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
The termination competition

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Elementary algebraic specifications of the rational function field

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

Hi-index	0.00