A complete resolution method for logical meta-programming languages

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    OriginalsprogEngelsk
    Udgivelses stedRoskilde
    ForlagRoskilde Universitet
    StatusUdgivet - 1992
    NavnDatalogiske Skrifter
    Nummer38
    ISSN0109-9779

    Citer dette

    Christiansen, H. (1992). A complete resolution method for logical meta-programming languages. Roskilde: Roskilde Universitet. Datalogiske Skrifter, Nr. 38
    Christiansen, Henning. / A complete resolution method for logical meta-programming languages. Roskilde : Roskilde Universitet, 1992. (Datalogiske Skrifter; Nr. 38).
    @book{de6c07c052bd11dba4bc000ea68e967b,
    title = "A complete resolution method for logical meta-programming languages",
    keywords = "logic programming, meta-programming, programming languages, resolution, reflection, procedural semantics",
    author = "Henning Christiansen",
    year = "1992",
    language = "English",
    publisher = "Roskilde Universitet",

    }

    Christiansen, H 1992, A complete resolution method for logical meta-programming languages. Datalogiske Skrifter, nr. 38, Roskilde Universitet, Roskilde.

    A complete resolution method for logical meta-programming languages. / Christiansen, Henning.

    Roskilde : Roskilde Universitet, 1992. (Datalogiske Skrifter; Nr. 38).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    TY - RPRT

    T1 - A complete resolution method for logical meta-programming languages

    AU - Christiansen, Henning

    PY - 1992

    Y1 - 1992

    KW - logic programming

    KW - meta-programming

    KW - programming languages

    KW - resolution

    KW - reflection

    KW - procedural semantics

    M3 - Report

    BT - A complete resolution method for logical meta-programming languages

    PB - Roskilde Universitet

    CY - Roskilde

    ER -

    Christiansen H. A complete resolution method for logical meta-programming languages. Roskilde: Roskilde Universitet, 1992. (Datalogiske Skrifter; Nr. 38).