Nested Antichains for WS1S (Q5194965)

From MaRDI portal
scientific article; zbMATH DE number 7105984
Language Label Description Also known as
English
Nested Antichains for WS1S
scientific article; zbMATH DE number 7105984

    Statements

    Nested Antichains for WS1S (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    17 September 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    decision procedure
    0 references
    symbolic representation
    0 references
    tree automaton
    0 references
    deterministic automaton
    0 references
    nondeterministic automaton
    0 references
    0 references