A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$

A. Geser, H. Zantema

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

    15 Citations (Scopus)
    Original languageEnglish
    Title of host publicationRewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)
    EditorsJ. Hsiang
    Place of PublicationBerlin
    ISBN (Print)3-540-59200-8
    Publication statusPublished - 1995

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743

    Cite this