More on unfold/fold transformations of normal programs : preservation of fitting's semantics

A. Bossi, S. Etalle

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
    Originele taal-2Engels
    TitelLogic Programming Synthesis and Transformation - Meta-Programming in Logic (Proceedings 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994)
    RedacteurenL. Fribourg, F. Turini
    UitgeverijSpringer
    Pagina's311-331
    ISBN van geprinte versie3-540-58792-6
    DOI's
    StatusGepubliceerd - 1994

    Publicatie series

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

    Citeer dit