scientific article; zbMATH DE number 3329919
From MaRDI portal
Publication:5608007
zbMath0207.31001MaRDI QIDQ5608007
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Recursive categoricity and recursive stability ⋮ Transfinite Lyndon Words ⋮ Factorization forests for infinite words and applications to countable scattered linear orderings ⋮ Complementation of rational sets on scattered linear orderings of finite rank ⋮ Automata on linear orderings ⋮ Axiomatizing omega and omega-op powers of words ⋮ Decision methods in the theory of ordinals ⋮ Ehrenfeucht games and ordinal addition ⋮ Schützenberger and Eilenberg theorems for words on linear orderings ⋮ Exact complexity bounds for ordinal addition ⋮ Complementation of Branching Automata for Scattered and Countable N-Free Posets ⋮ Theories of orders on the set of words ⋮ Logic and rational languages of scattered and countable series-parallel posets ⋮ Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets ⋮ Tree acceptors and some of their applications ⋮ Unnamed Item ⋮ Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) ⋮ Star-free sets of words on ordinals ⋮ Logic over words on denumerable ordinals
This page was built for publication: