Transforming termination by self-labelling

A. Middeldorp, H. Zantema

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht, the Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume1996-15
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1996

Cite this