On solving member and instance constraints

metaprogramming and metareasoning

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationLogic (META96)
    Volume127
    Place of PublicationUppsala
    PublisherComputer Science department, Uppsala University
    Publication date1996
    Pages13-25
    Publication statusPublished - 1996

    Cite this

    Christiansen, H. (1996). On solving member and instance constraints: metaprogramming and metareasoning. In Logic (META96) (Vol. 127, pp. 13-25). Uppsala: Computer Science department, Uppsala University.
    Christiansen, Henning. / On solving member and instance constraints : metaprogramming and metareasoning. Logic (META96). Vol. 127 Uppsala : Computer Science department, Uppsala University, 1996. pp. 13-25
    @inbook{d9dfc8e052bd11dba4bc000ea68e967b,
    title = "On solving member and instance constraints: metaprogramming and metareasoning",
    author = "Henning Christiansen",
    year = "1996",
    language = "English",
    volume = "127",
    pages = "13--25",
    booktitle = "Logic (META96)",
    publisher = "Computer Science department, Uppsala University",

    }

    Christiansen, H 1996, On solving member and instance constraints: metaprogramming and metareasoning. in Logic (META96). vol. 127, Computer Science department, Uppsala University, Uppsala, pp. 13-25.

    On solving member and instance constraints : metaprogramming and metareasoning. / Christiansen, Henning.

    Logic (META96). Vol. 127 Uppsala : Computer Science department, Uppsala University, 1996. p. 13-25.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    TY - CHAP

    T1 - On solving member and instance constraints

    T2 - metaprogramming and metareasoning

    AU - Christiansen, Henning

    PY - 1996

    Y1 - 1996

    M3 - Book chapter

    VL - 127

    SP - 13

    EP - 25

    BT - Logic (META96)

    PB - Computer Science department, Uppsala University

    CY - Uppsala

    ER -

    Christiansen H. On solving member and instance constraints: metaprogramming and metareasoning. In Logic (META96). Vol. 127. Uppsala: Computer Science department, Uppsala University. 1996. p. 13-25