scientific article; zbMATH DE number 3186872
From MaRDI portal
Publication:5723184
zbMath0115.00702MaRDI QIDQ5723184
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Arithmetical definability and computational complexity ⋮ Unnamed Item ⋮ A descriptive complexity approach to the linear hierarchy. ⋮ Weighted automata and logics for infinite nested words ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Logic for \(\omega\)-pushdown automata ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Weighted automata ⋮ The many faces of a translation
