Algorithmic Term Rewriting Systems

A. Isihara

Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

223 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Klop, J.W., Supervisor de Vrijer, R.C., Co-supervisor
Award date	25 Mar 2010
Publication status	Published - 2010

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

Access to Document

@phdthesis{7234c444a9f742d78342734dd9d60a47,

title = "Algorithmic Term Rewriting Systems",

author = "A. Isihara",

note = "Naam instelling promotie: VU Vrije Universiteit Naam instelling onderzoek: VU Vrije Universiteit",

year = "2010",

language = "English",

type = "PhD-Thesis - Research and graduation internal",

school = "Vrije Universiteit Amsterdam",

}