Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

J Endrullis, C.A. Grabmayer, Dimitri Hendriks, JW Klop, V. van Oostrom

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 21st International Conference on Rewriting Techniques and Applications
    Editors Christopher Lynch
    PublisherLeibniz International Proceedings in Informatics (LIPIcs)
    Pages85-102
    Number of pages18
    Publication statusPublished - 11 Jul 2010

    Bibliographical note

    RTA 2010

    Cite this