Relative undecidability in term rewriting

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

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

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)
    EditorsD. Dalen, van, M. Bezem
    ISBN (Print)3-540-63172-0
    Publication statusPublished - 1997

    Publication series

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

    Cite this