Simple operational and denotational semantics for Prolog with cut (Q912643)

From MaRDI portal
Revision as of 14:31, 20 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Simple operational and denotational semantics for Prolog with cut
scientific article

    Statements

    title
    Simple operational and denotational semantics for Prolog with cut (English)
    0 references
    author
    Michel Billaud
    0 references
    publication date
    1990
    0 references
    zbMATH Keywords
    denotational semantics
    0 references
    Prolog
    0 references
    cut operator
    0 references
    operational semantics
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q55
    0 references
    68N17
    0 references
    68T15
    0 references
    zbMATH DE Number
    4145356
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q912643&oldid=34823286"
    Powered by MediaWiki