From Abstract Rewriting Systems to Abstract Proof Systems

C.A. Grabmayer

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageUndefined/Unknown
    Title of host publicationLiber Amicorum for Roel de Vrijer
    EditorsJW Klop, V van Oostrom
    Place of PublicationAmsterdam
    Publisherself publishing
    Pages83-96
    Number of pages14
    Publication statusPublished - 2009

    Cite this