Models and resolution principles for logical meta-programming anguages

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    OriginalsprogEngelsk
    Udgivelses stedLe Chesnay
    StatusUdgivet - 1992
    NavnINRIA rapports de recherche
    Nummer1594
    ISSN0249-6399

    Citer dette

    Christiansen, H. (1992). Models and resolution principles for logical meta-programming anguages. Le Chesnay. INRIA rapports de recherche, Nr. 1594
    Christiansen, Henning. / Models and resolution principles for logical meta-programming anguages. Le Chesnay, 1992. (INRIA rapports de recherche; Nr. 1594).
    @book{132409a052c711db9789000ea68e967b,
    title = "Models and resolution principles for logical meta-programming anguages",
    keywords = "logic programming, meta-programming, programming languages, resolution, model-based semantics",
    author = "Henning Christiansen",
    year = "1992",
    language = "English",

    }

    Christiansen, H 1992, Models and resolution principles for logical meta-programming anguages. INRIA rapports de recherche, nr. 1594, Le Chesnay.

    Models and resolution principles for logical meta-programming anguages. / Christiansen, Henning.

    Le Chesnay, 1992. (INRIA rapports de recherche; Nr. 1594).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

    TY - RPRT

    T1 - Models and resolution principles for logical meta-programming anguages

    AU - Christiansen, Henning

    PY - 1992

    Y1 - 1992

    KW - logic programming

    KW - meta-programming

    KW - programming languages

    KW - resolution

    KW - model-based semantics

    M3 - Report

    BT - Models and resolution principles for logical meta-programming anguages

    CY - Le Chesnay

    ER -

    Christiansen H. Models and resolution principles for logical meta-programming anguages. Le Chesnay, 1992. (INRIA rapports de recherche; Nr. 1594).