scientific article; zbMATH DE number 3976377
From MaRDI portal
Publication:3741086
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Automata and formal grammars in connection with logical questions (03D05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45)
Recommendations
- scientific article; zbMATH DE number 2087217
- Automata on infinite words and their applications in formal verification
- Automata on Words
- scientific article; zbMATH DE number 512868
- scientific article; zbMATH DE number 3924161
- Automata and semigroups recognizing infinite words
- Integer weighted automata on infinite words
- Integer Weighted Automata on Infinite Words
- scientific article; zbMATH DE number 3170711
Cited in
(19)- A property of the Schützenberger product
- On generators of rational \(\omega\)-power languages
- An extension of Kleene's and Ochmański's theorems to infinite traces
- Algebraic properties of the shuffle over \(\omega\)-trajectories
- Infinite games on finite graphs using grossone
- Automata and semigroups recognizing infinite words
- scientific article; zbMATH DE number 3170711 (Why is no real title available?)
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
- An introduction to finite automata and their connection to logic
- Finite-state automata on infinite inputs
- Some more on the basis finite automaton
- The logical strength of Büchi's decidability theorem
- The logical strength of Büchi's decidability theorem
- Automata theory and its applications
- Jumping automata over Infinite words
- Degrees of asynchronously automaton transformations
- Characterizations of rational \(\omega\)-languages by means of right congruences
- Complete and tractable machine-independent characterizations of second-order polytime
- On the expressive power of temporal logic for infinite words
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3741086)
