Skip to main navigation Skip to search Skip to main content

From Abstract Rewriting Systems to Abstract Proof Systems

  • C.A. Grabmayer

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    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