Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

S. Etalle (Redacteur)

    Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

    Originele taal-2Engels
    Plaats van productieBerlin
    UitgeverijSpringer
    ISBN van elektronische versie9783540316831
    ISBN van geprinte versie3-540-26655-0, 9783540266556
    DOI's
    StatusGepubliceerd - 2005

    Publicatie series

    NaamLecture notes in computer science
    Volume3573
    ISSN van geprinte versie0302-9743
    NaamLOPSTR : logic-based program synthesis and transformation : international workshop : selected papers
    Volume14

    Citeer dit

    Etalle, S. (editor) (2005). Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers. (Lecture notes in computer science; Vol. 3573), (LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; Vol. 14). Springer. https://doi.org/10.1007/b137785