Skip to Main content Skip to Navigation
New interface


...
tel-01746182v2  Theses
Cody Roux. Size-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩