Some techniques for proving termination of the hyperresolution calculus (Q861692)

From MaRDI portal
Revision as of 05:52, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Some techniques for proving termination of the hyperresolution calculus
scientific article

    Statements

    title
    Some techniques for proving termination of the hyperresolution calculus (English)
    0 references
    publication date
    30 January 2007
    0 references
    zbMATH Keywords
    hyperresolution
    0 references
    decision procedures
    0 references
    complexity measures
    0 references
    author
    Nicolas Peltier
    0 references

    Identifiers

    zbMATH DE Number
    5119731
    0 references
    OpenAlex ID
    W2051480593
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q861692&oldid=38507899"
    Powered by MediaWiki