Liste des citations dans Numdam pour : Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982), p. 331-347 / Harvested from Numdam

Aït-Kaci, Hassan

An algorithm for finding a minimal recursive path ordering
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 19 (1985), p. 359-382 / Harvested from Numdam