Well-foundedness of term orderings

M.C.F. Ferreira, H. Zantema

Research output: Book/Report › Report › Academic

Original languageUndefined/Unknown
Place of PublicationUtrecht
PublisherUnknown Publisher
Volume1994-46
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1994

Keywords

  • Wiskunde en Informatica (WIIN)

Access to Document

    Cite this