Preservation of termination for explicit substitution

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

152 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Lescanne, P., Promotor, External person Nederpelt, Rob, Copromotor
Award date	2 Oct 1997
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0551-X
DOIs	https://doi.org/10.6100/IR499858
Publication status	Published - 1997

Access to Document

@phdthesis{59123e73b95a4f81a56a1c33a7ade1f7,

title = "Preservation of termination for explicit substitution",

author = "C.J. Bloo",

year = "1997",

doi = "10.6100/IR499858",

language = "English",

isbn = "90-386-0551-X",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}