ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120)

From MaRDI portal
Revision as of 02:45, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES
scientific article

    Statements

    title
    ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (English)
    0 references
    author
    Zoltán Ésik
    0 references
    Pascal Weil
    0 references
    publication date
    25 May 2010
    0 references
    Mathematics Subject Classification ID
    68Q70
    0 references
    03B70
    0 references
    08A70
    0 references
    68Q45
    0 references
    zbMATH DE Number
    5711142
    0 references
    zbMATH Keywords
    tree languages
    0 references
    recognizability
    0 references
    preclones
    0 references
    pseudovarieties
    0 references
    Lindström quantifiers
    0 references
    first-order definability
    0 references
    block product
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3561120&oldid=16951384"
    Powered by MediaWiki