Cody Roux. Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations). PhD thesis, Henri Poincaré University, Nancy, France, 2011. [doi]
@phdthesis{hal-4377,
title = {Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations)},
author = {Cody Roux},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-00606360},
researchr = {https://researchr.org/publication/hal-4377},
cites = {0},
citedby = {0},
school = {Henri Poincaré University, Nancy, France},
}