Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

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 Ooostrom
Place of PublicationAmsterdam
Publisherself publishing
Pages46-60
Number of pages15
Publication statusPublished - 2009

Cite this