Preservation of termination for explicit substitution

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

124 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • Lescanne, P., Promotor, External person
  • Nederpelt, Rob, Copromotor
Award date2 Oct 1997
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0551-X
DOIs
Publication statusPublished - 1997

Cite this