Termination of Term Rewriting

H. Zantema

Research output: Book/Report › Report › Academic

Original languageUndefined/Unknown
Place of PublicationUtrecht, The Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume2000-04
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 2000

Keywords

  • Wiskunde en Informatica (WIIN)

Access to Document

Cite this