scientific article; zbMATH DE number 475417
From MaRDI portal
Publication:4273664
zbMath0794.03054MaRDI QIDQ4273664
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Trees (05C05) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)
Related Items
A fixpoint approach to finite delay and fairness ⋮ On the Weak Index Problem for Game Automata ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ A gap property of deterministic tree languages. ⋮ Basic notions of universal algebra for language theory and graph grammars ⋮ The monadic second-order logic of graphs. IX: Machines and their behaviours ⋮ An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma ⋮ A selection property of the boolean $\mu $-calculus and some of its applications ⋮ Deciding low levels of tree-automata hierarchy ⋮ On the separation question for tree languages ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ Theμ-calculus alternation-depth hierarchy is strict on binary trees ⋮ On Distributive Fixed-Point Expressions ⋮ A Weighted μ-Calculus on Words ⋮ On Repetition Languages ⋮ A logic-based approach to incremental reasoning on multi-agent systems
