Preface

Sandro Etalle, J.G. Smaus

    Original languageUndefined
    Title of host publicationWorkshop on Verification of Logic Programs
    Place of PublicationAmsterdam
    PublisherELSEVIER
    Pages1
    StatePublished - Dec 1999

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Volume30
    ISSN (Print)1571-0661

    Keywords

    • EWI-1009

    Cite this

    Etalle, S., & Smaus, J. G. (1999). Preface. In Workshop on Verification of Logic Programs (pp. 1). (Electronic Notes in Theoretical Computer Science; Vol. 30). Amsterdam: ELSEVIER.

    Etalle, Sandro; Smaus, J.G. / Preface.

    Workshop on Verification of Logic Programs. Amsterdam : ELSEVIER, 1999. p. 1 (Electronic Notes in Theoretical Computer Science; Vol. 30).

    Research output: ScientificConference contribution

    @inbook{cb57f08c99f44a0c8ad6a67e49fee390,
    title = "Preface",
    keywords = "EWI-1009",
    author = "Sandro Etalle and J.G. Smaus",
    note = "Imported from DIES",
    year = "1999",
    month = "12",
    series = "Electronic Notes in Theoretical Computer Science",
    publisher = "ELSEVIER",
    pages = "1",
    booktitle = "Workshop on Verification of Logic Programs",

    }

    Etalle, S & Smaus, JG 1999, Preface. in Workshop on Verification of Logic Programs. Electronic Notes in Theoretical Computer Science, vol. 30, ELSEVIER, Amsterdam, pp. 1.

    Preface. / Etalle, Sandro; Smaus, J.G.

    Workshop on Verification of Logic Programs. Amsterdam : ELSEVIER, 1999. p. 1 (Electronic Notes in Theoretical Computer Science; Vol. 30).

    Research output: ScientificConference contribution

    TY - CHAP

    T1 - Preface

    AU - Etalle,Sandro

    AU - Smaus,J.G.

    N1 - Imported from DIES

    PY - 1999/12

    Y1 - 1999/12

    KW - EWI-1009

    M3 - Conference contribution

    T3 - Electronic Notes in Theoretical Computer Science

    SP - 1

    BT - Workshop on Verification of Logic Programs

    PB - ELSEVIER

    ER -

    Etalle S, Smaus JG. Preface. In Workshop on Verification of Logic Programs. Amsterdam: ELSEVIER. 1999. p. 1. (Electronic Notes in Theoretical Computer Science).