Dummy elimination : making termination easier

M.C.F. Ferreira, H. Zantema

    Research output: Book/ReportReportPopular

    70 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages18
    Publication statusPublished - 1994

    Publication series

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

    Cite this

    Ferreira, M. C. F., & Zantema, H. (1994). Dummy elimination : making termination easier. (Universiteit Utrecht. UU-CS, Department of Computer Science; Vol. 9447). Utrecht University.