scientific article; zbMATH DE number 1995184
From MaRDI portal
Publication:4431395
zbMath1030.03513MaRDI QIDQ4431395
Publication date: 21 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
The lattice of definability: origins, recent developments, and further directions ⋮ An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma ⋮ Infinite games on finitely coloured graphs with applications to automata on infinite trees