FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems (Q2804201)

From MaRDI portal
Revision as of 08:35, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
FO2(&lt;,+1,~) on data trees, data tree automata and branching vector addition systems
scientific article

    Statements

    FO2(&lt;,+1,~) on data trees, data tree automata and branching vector addition systems (English)
    0 references
    0 references
    0 references
    0 references
    28 April 2016
    0 references
    data automata
    0 references
    counter automata
    0 references
    two-variable logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references