Logic and Branching Automata (Q5891198)

From MaRDI portal
scientific article; zbMATH DE number 6209965
Language Label Description Also known as
English
Logic and Branching Automata
scientific article; zbMATH DE number 6209965

    Statements

    Logic and Branching Automata (English)
    0 references
    0 references
    20 September 2013
    0 references
    \(N\)-free posets
    0 references
    series-parallel posets
    0 references
    sp-rational languages
    0 references
    automata
    0 references
    commutative monoids
    0 references
    monadic second-order logic
    0 references
    Presburger logic
    0 references

    Identifiers