Theories of orders on the set of words (Q3374756)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theories of orders on the set of words
scientific article

    Statements

    Theories of orders on the set of words (English)
    0 references
    22 February 2006
    0 references
    decidability
    0 references
    undecidability
    0 references
    first-order theory
    0 references
    words
    0 references
    subword order
    0 references
    lexicographic path
    0 references
    homomorphism preorder
    0 references
    infix order
    0 references
    0 references

    Identifiers