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

From MaRDI portal
Revision as of 12:17, 25 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
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