Relative undecidability in the termination hierarchy of single rewrite rules

A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema

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

    6 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTAPSOFT'97: Theory and Practice of Software Development (Proceedings 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997)
    EditorsM. Bidoit, M. Dauchet
    Place of PublicationBerlin
    ISBN (Print)3-540-62781-2
    Publication statusPublished - 1997

    Publication series

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

    Cite this