Wreath Products of Forest Algebras, with Applications to Tree Logics

DOI10.2168/LMCS-8(3:19)2012zbMath1258.03044arXiv1208.6172MaRDI QIDQ2914240

Igor Walukiewicz, Howard Straubing, Mikołaj Bojańczyk

Publication date: 25 September 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.6172

zbMATH Keywords

temporal logicwreath producttree languagefirst-order logic over ancestor relationforest algebra

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (5)

The mu-calculus and Model Checking ⋮ EF+EX Forest Algebras ⋮ Varieties ⋮ Algebra for trees ⋮ On labeled birooted tree languages: algebras, automata and logic

This page was built for publication: Wreath Products of Forest Algebras, with Applications to Tree Logics