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

A. Geser, H. Zantema

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    15 Citaten (Scopus)
    Originele taal-2Engels
    TitelRewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995)
    RedacteurenJ. Hsiang
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's41-55
    ISBN van geprinte versie3-540-59200-8
    StatusGepubliceerd - 1995

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume914
    ISSN van geprinte versie0302-9743

    Citeer dit