A technique for automatically proving termination of constructor systems

T. Arts

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht
PublisherUtrecht University
Volume1995-32
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1995

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this