A combinatorial approach to the theory of ω-automata (Q3934375): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 23:26, 5 February 2024

scientific article
Language Label Description Also known as
English
A combinatorial approach to the theory of ω-automata
scientific article

    Statements

    A combinatorial approach to the theory of ω-automata (English)
    0 references
    0 references
    1981
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    omega-automata
    0 references
    omega-regular sequence-sets
    0 references
    homogeneous sets
    0 references
    counter free omega-automata
    0 references
    sets of infinite sequences recognized by finite automata
    0 references
    definability of sequence-sets in first-order and monadic second-order logic
    0 references