scientific article; zbMATH DE number 475417

zbMath0794.03054MaRDI QIDQ4273664

Damian Niwinski, André Arnold

Publication date: 28 August 1994

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

zbMATH Keywords

fixed pointtree automatonweak monadic second order logicpowerset algebra of trees

Mathematics Subject Classification ID

Related Items (16)

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

This page was built for publication: