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