EF+EX Forest Algebras

DOI10.1007/978-3-319-23021-4_12zbMath1465.68156arXiv1408.0809OpenAlexW2295054116MaRDI QIDQ2947153

Howard Straubing, Andreas Krebs

Publication date: 22 September 2015

Published in: Algebraic Informatics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Trees (05C05) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Temporal logic (03B44)

Related Items

EF+EX Forest Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• On the expressive power of temporal logic
• Characterizing EF and EX tree logics
• Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
• Wreath Products of Forest Algebras, with Applications to Tree Logics
• Regular tree languages definable in FO and in FO _mod
• EF+EX Forest Algebras
• Piecewise testable tree languages