Models and resolution principles for logical meta-programming anguages

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationLe Chesnay
    Publication statusPublished - 1992
    SeriesINRIA rapports de recherche
    Number1594
    ISSN0249-6399

    Keywords

    • logic programming
    • meta-programming
    • programming languages
    • resolution
    • model-based semantics

    Cite this