scientific article; zbMATH DE number 3186871
From MaRDI portal
Publication:5723183
zbMath0115.00701MaRDI QIDQ5723183
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A logical approach to locality in pictures languages ⋮ On the classification of computable languages ⋮ Learning regular omega languages ⋮ Inferring regular languages and \(\omega\)-languages ⋮ On the classification of recursive languages ⋮ A geometrical view of the determinization and minimization of finite-state automata ⋮ Subword Metrics for Infinite Words ⋮ On the minimization problem for ω-automata ⋮ On the existential arithmetics with addition and bitwise minimum ⋮ Deciding FO-definability of regular languages ⋮ Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic ⋮ Characterizations of rational \(\omega\)-languages by means of right congruences ⋮ Unnamed Item ⋮ From Logic to Theoretical Computer Science – An Update ⋮ Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey ⋮ From Monadic Logic to PSL ⋮ Unnamed Item ⋮ Expressibility in a restricted second-order arithmetic ⋮ A Characterisation of Pi^0_2 Regular Tree Languages ⋮ Finite-state \(\omega\)-languages ⋮ Relativizations for the logic-automata connection ⋮ Shift-invariant topologies for the Cantor space \(X^{\omega}\)
