Recommendations
Cites work
- scientific article; zbMATH DE number 3881897 (Why is no real title available?)
- scientific article; zbMATH DE number 3915652 (Why is no real title available?)
- scientific article; zbMATH DE number 3675332 (Why is no real title available?)
- scientific article; zbMATH DE number 3602692 (Why is no real title available?)
- scientific article; zbMATH DE number 3615891 (Why is no real title available?)
- scientific article; zbMATH DE number 3624807 (Why is no real title available?)
- scientific article; zbMATH DE number 3639170 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 2053214 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- scientific article; zbMATH DE number 3413820 (Why is no real title available?)
- $ℵ_0$-categoricity of linear orderings
- Automata on linear orderings
- Axiomatizing omega and omega-op powers of words
- Context-Free Languages of Countable Words
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Developments in Language Theory
- Finite automata and ordinals
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Linear languages of finite and infinite words
- Logic and Rational Languages of Words Indexed by Linear Orderings
- Long words: The theory of concatenation and \(\omega\)-power
- On frontiers of regular trees
- The equational theory of regular words
- The monadic second order theory of all countable ordinals
- Theory of -languages. I: Characterizations of -context- free languages
- Tree acceptors and some of their applications
- Weak Second‐Order Arithmetic and Finite Automata
Cited in
(11)- Formal languages defined by the underlying structure of their words
- OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs
- scientific article; zbMATH DE number 2079028 (Why is no real title available?)
- On context-free languages of scattered words
- Regular expressions for Muller context-free languages
- The edit-distance between a regular language and a context-free language
- MSO-definable properties of Muller context-free languages are decidable
- On Müller context-free grammars
- Logic for \(\omega\)-pushdown automata
- On Müller context-free grammars
- Linear languages of finite and infinite words
This page was built for publication: Büchi context-free languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q627181)
