On the complexity of deduction modulo leaf permutative equations (Q556681)

From MaRDI portal
Revision as of 01:37, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
On the complexity of deduction modulo leaf permutative equations
scientific article

    Statements

    title
    On the complexity of deduction modulo leaf permutative equations (English)
    0 references
    author
    Thierry Boy de la Tour
    0 references
    Mnacho Echenim
    0 references
    publication date
    22 June 2005
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    03D15
    0 references
    03F20
    0 references
    68Q17
    0 references
    zbMATH DE Number
    2177896
    0 references
    zbMATH Keywords
    automated deduction
    0 references
    leaf permutative equations
    0 references
    stratified terms
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q556681&oldid=25649208"
    Powered by MediaWiki