Algorithmic Term Rewriting Systems

A. Isihara

Research output: PhD ThesisPhD Thesis - Research VU, graduation VU

25 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Klop, Jan Willem, Supervisor
  • de Vrijer, R.C., Co-supervisor
Award date25 Mar 2010
Publication statusPublished - 2010

Bibliographical note

Naam instelling promotie: VU Vrije Universiteit
Naam instelling onderzoek: VU Vrije Universiteit

Cite this