scientific article; zbMATH DE number 3186871

zbMath0115.00701MaRDI QIDQ5723183

B. A. Trakhtenbrot

Publication date: 1962

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Theory of computing (68Qxx) Mathematical logic and foundations (03-XX)

Related Items (22)

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}\)

This page was built for publication: