Confluence for Abstract and Higher-Order Rewriting

V. van Oostrom

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

    96 Downloads (Pure)
    Original languageEnglish
    QualificationPhD
    Awarding Institution
    • Vrije Universiteit Amsterdam
    Award date1 Jan 1994
    Publication statusPublished - 1994

    Cite this