Skip to main navigation Skip to search Skip to main content

Transforming termination by self-labelling

  • A. Middeldorp
  • , H. Zantema
  • extern

Research output: Book/Report › Report › Academic

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

Access to Document

    Cite this