Confluence and Normalisation of Higher-Order Rewriting

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

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Award date13 May 1996
Publication statusPublished - 1996

Cite this

@phdthesis{73b89ba9185c48e1b7da2bb533175903,
title = "Confluence and Normalisation of Higher-Order Rewriting",
author = "{van Raamsdonk}, F.",
year = "1996",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Confluence and Normalisation of Higher-Order Rewriting. / van Raamsdonk, F.

1996.

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

TY - THES

T1 - Confluence and Normalisation of Higher-Order Rewriting

AU - van Raamsdonk, F.

PY - 1996

Y1 - 1996

M3 - PhD Thesis - Research VU, graduation VU

ER -