Confluence for Abstract and Higher-Order Rewriting

V. van Oostrom

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

    Original languageEnglish
    QualificationPhD
    Awarding Institution
    • Vrije Universiteit Amsterdam
    Award date1 Jan 1994
    Publication statusPublished - 1994

    Cite this

    @phdthesis{3827642d27be4a3194a0a32d6f220099,
    title = "Confluence for Abstract and Higher-Order Rewriting",
    author = "{van Oostrom}, V.",
    year = "1994",
    language = "English",
    school = "Vrije Universiteit Amsterdam",

    }

    van Oostrom, V 1994, 'Confluence for Abstract and Higher-Order Rewriting', PhD, Vrije Universiteit Amsterdam.

    Confluence for Abstract and Higher-Order Rewriting. / van Oostrom, V.

    1994.

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

    TY - THES

    T1 - Confluence for Abstract and Higher-Order Rewriting

    AU - van Oostrom, V.

    PY - 1994

    Y1 - 1994

    M3 - PhD Thesis - Research VU, graduation VU

    ER -