scientific article; zbMATH DE number 3341983
From MaRDI portal
Publication:5618355
Cited in
(23)- Towards a formal proof system for \(\omega\)-rational expressions
- First-order logic and star-free sets
- Automata-theoretic techniques for modal logics of programs
- Finitely generated \(\omega\)-languages
- Finite automata on directed graphs
- Theories of automata on \(\omega\)-tapes: a simplified approach
- Theory of -languages. I: Characterizations of -context- free languages
- Theory of -languages. II: A study of various models of - type generation and recognition
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
- A branching time logic with past operators
- Expressive power of existential first-order sentences of Büchi's sequential calculus
- The monadic theory of finite representations of infinite words
- On von Neumann regular rings with an automorphism
- Tree acceptors and some of their applications
- A survey of stochastic -regular games
- Schützenberger and Eilenberg theorems for words on linear orderings
- Monadic Second Order Logic And Its Fragments
- On the classification of recursive languages
- Complementing Büchi Automata with Ranker
- Prefix-free languages as \(\omega\)-generators
- Finite-state \(\omega\)-languages
- A power-set construction for reducing Büchi automata to non-determinism degree two
- Automata on linear orderings
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 Q5618355)
