Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (Q2931276): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2122293551 / rank
 
Normal rank

Latest revision as of 08:38, 30 July 2024

scientific article
Language Label Description Also known as
English
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
scientific article

    Statements

    Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (English)
    0 references
    0 references
    0 references
    0 references
    25 November 2014
    0 references

    Identifiers