Algorithmic Term Rewriting Systems

A. Isihara

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

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

@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",
school = "Vrije Universiteit Amsterdam",

}

Isihara, A 2010, 'Algorithmic Term Rewriting Systems', PhD, Vrije Universiteit Amsterdam.

Algorithmic Term Rewriting Systems. / Isihara, A.

2010.

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

TY - THES

T1 - Algorithmic Term Rewriting Systems

AU - Isihara, A.

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

PY - 2010

Y1 - 2010

M3 - PhD Thesis - Research VU, graduation VU

ER -