Thomas Genet. Contraintes d'ordre et automates d'arbres pour les preuves de terminaison. (Ordering constraints and tree automata for proving termination). PhD thesis, Henri Poincaré University, Nancy, France, 1998. [doi]
@phdthesis{hal-13777, title = {Contraintes d'ordre et automates d'arbres pour les preuves de terminaison. (Ordering constraints and tree automata for proving termination)}, author = {Thomas Genet}, year = {1998}, url = {https://tel.archives-ouvertes.fr/tel-01747412}, researchr = {https://researchr.org/publication/hal-13777}, cites = {0}, citedby = {0}, school = {Henri Poincaré University, Nancy, France}, }