Liste des citations dans Numdam pour : Implementing term rewriting by jungle evaluation

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991), p. 445-472 / Harvested from Numdam

Corradini, Andrea ; Gadducci, Fabio

Rewriting on cyclic structures : equivalence between the operational and the categorical description
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999), p. 467-493 / Harvested from Numdam