Decidability and complexity analysis by basic paramodulation (Q1281494)

From MaRDI portal
Revision as of 10:22, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Decidability and complexity analysis by basic paramodulation
scientific article

    Statements

    title
    Decidability and complexity analysis by basic paramodulation (English)
    0 references
    author
    Robert Nieuwenhuis
    0 references
    publication date
    29 November 1999
    0 references
    zbMATH Keywords
    Horn clauses
    0 references
    basic paramodulation
    0 references

    Identifiers

    zbMATH DE Number
    1267923
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1281494&oldid=13386283"
    Powered by MediaWiki