Rigid tree automata and applications (Q553317)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rigid tree automata and applications
scientific article

    Statements

    Rigid tree automata and applications (English)
    0 references
    0 references
    0 references
    0 references
    27 July 2011
    0 references
    tree automata
    0 references
    symbol constraints
    0 references
    term rewriting
    0 references
    verification
    0 references

    Identifiers