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 Universitet. Datalogiske Skrifter, Nr. 38