scientific article

zbMath1217.68123MaRDI QIDQ3086921

Igor Walukiewicz, Mikołaj Bojańczyk

Publication date: 30 March 2011

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

zbMATH Keywords

regular tree languagestreestransformation semigroupforest algebrasforest languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (18)

Regular languages of thin trees ⋮ Recognisable Languages over Monads ⋮ The mu-calculus and Model Checking ⋮ Algebra for Infinite Forests with an Application to the Temporal Logic EF ⋮ Approximation of smallest linear tree grammar ⋮ Unnamed Item ⋮ EF+EX Forest Algebras ⋮ Unnamed Item ⋮ One-variable context-free hedge automata ⋮ A syntactic congruence for languages of birooted trees ⋮ Unnamed Item ⋮ Characterization of Logics over Ranked Tree Languages ⋮ Recognisability for algebras of infinite trees ⋮ Grammar-based compression of unranked trees ⋮ Unnamed Item ⋮ Varieties ⋮ Weak Separation Problem for Tree Languages ⋮ On labeled birooted tree languages: algebras, automata and logic

This page was built for publication: