scientific article; zbMATH DE number 3572138
From MaRDI portal
Publication:4143283
zbMath0367.02017MaRDI QIDQ4143283
Ludwig Staiger, Klaus W. Wagner
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Hierarchies of computability and definability (03D55)
Related Items
Alternation and \(\omega\)-type Turing acceptors ⋮ Proof systems for infinite behaviours ⋮ \(X\)-automata on \(\omega\)-words ⋮ Verification of concurrent programs: The automata-theoretic framework ⋮ Finite acceptance of infinite words ⋮ Index sets in computable analysis