Automated reasoning with a constraint-based metainterpreter

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    OriginalsprogEngelsk
    TidsskriftJournal of Logic and Algebraic Programming
    Vol/bind37
    Udgave nummer1-3
    Sider (fra-til)213-253
    ISSN2352-2208
    StatusUdgivet - 1998

    Citer dette