Transformation of left terminating programs : the reordering problem

A. Bossi, N. Cocco, S. Etalle

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    14 Citaten (Scopus)
    1 Downloads (Pure)
    Originele taal-2Engels
    TitelLogic Programming Synthesis and Transformation (Proceedings 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995)
    RedacteurenM. Proietti
    UitgeverijSpringer
    Pagina's33-45
    ISBN van geprinte versie3-540-60939-3
    DOI's
    StatusGepubliceerd - 1996

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume1048
    ISSN van geprinte versie0302-9743

    Citeer dit