A complete resolution for logical meta-programming languages

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelMETA-92 : third International Workshop on Metaprogramming in logic
    RedaktørerA. Pettorossi, J. Barklund
    Publikationsdato1992
    Siders. 142-156
    StatusUdgivet - 1992
    BegivenhedMETA-92 : third International Workshop on Metaprogramming in logic - Uppsala, Sverige
    Varighed: 10 jun. 199212 jun. 1992
    Konferencens nummer: 3

    Workshop

    WorkshopMETA-92 : third International Workshop on Metaprogramming in logic
    Nummer3
    LandSverige
    ByUppsala
    Periode10/06/199212/06/1992

    Citer dette

    Christiansen, H. (1992). A complete resolution for logical meta-programming languages. I A. Pettorossi, & J. Barklund (red.), META-92 : third International Workshop on Metaprogramming in logic (s. s. 142-156)
    Christiansen, Henning. / A complete resolution for logical meta-programming languages. META-92 : third International Workshop on Metaprogramming in logic. red. / A. Pettorossi ; J. Barklund. 1992. s. s. 142-156
    @inproceedings{31b209406b6211dbb485000ea68e967b,
    title = "A complete resolution for logical meta-programming languages",
    author = "Henning Christiansen",
    year = "1992",
    language = "English",
    pages = "s. 142--156",
    editor = "A. Pettorossi and J. Barklund",
    booktitle = "META-92 : third International Workshop on Metaprogramming in logic",

    }

    Christiansen, H 1992, A complete resolution for logical meta-programming languages. i A Pettorossi & J Barklund (red), META-92 : third International Workshop on Metaprogramming in logic. s. s. 142-156, META-92 : third International Workshop on Metaprogramming in logic, Uppsala, Sverige, 10/06/1992.

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

    META-92 : third International Workshop on Metaprogramming in logic. red. / A. Pettorossi; J. Barklund. 1992. s. s. 142-156.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    TY - GEN

    T1 - A complete resolution for logical meta-programming languages

    AU - Christiansen, Henning

    PY - 1992

    Y1 - 1992

    M3 - Article in proceedings

    SP - s. 142-156

    BT - META-92 : third International Workshop on Metaprogramming in logic

    A2 - Pettorossi, A.

    A2 - Barklund, J.

    ER -

    Christiansen H. A complete resolution for logical meta-programming languages. I Pettorossi A, Barklund J, red., META-92 : third International Workshop on Metaprogramming in logic. 1992. s. s. 142-156