Some techniques for proving termination of the hyperresolution calculus (Q861692): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q167063
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Nicolas Peltier / rank
 
Normal rank

Revision as of 23:46, 9 February 2024

scientific article
Language Label Description Also known as
English
Some techniques for proving termination of the hyperresolution calculus
scientific article

    Statements

    Some techniques for proving termination of the hyperresolution calculus (English)
    0 references
    30 January 2007
    0 references
    hyperresolution
    0 references
    decision procedures
    0 references
    complexity measures
    0 references
    0 references

    Identifiers