Confluence for Abstract and Higher-Order Rewriting

V. van Oostrom

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

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

    Cite this