Well-foundedness of term orderings

M.C.F. Ferreira, H. Zantema

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

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publicationConditional and Typed Rewriting Systems (Proceedings 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994)
    EditorsN. Dershowitz, N. Lindenstrauss
    Place of PublicationBerlin
    PublisherSpringer
    Pages106-123
    ISBN (Print)3-540-60381-6
    Publication statusPublished - 1995

    Publication series

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

    Cite this