Skip to main navigation Skip to search Skip to main content

Transforming termination by self-labelling

  • A. Middeldorp
  • , Hitoshi Ohsaki
  • , H. Zantema

    Research output: Book/Report › Report › Popular

    152 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages15
    Publication statusPublished - 1996

    Publication series

    NameUniversiteit Utrecht. UU-CS, Department of Computer Science
    Volume9615
    ISSN (Print)0924-3275

    Access to Document

    • 463409Final published version, 207 KB

      Cite this