On Pseudovarieties of Forest Algebras

DOI10.1142/S0129054116500374zbMath1373.68290MaRDI QIDQ2974058

Saeid Alirezazadeh

Publication date: 6 April 2017

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

syntactic congruenceprofiniteforest algebrasHunter's lemmametric forest algebraReiterman's theoremsyntactic forest algebra

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (1)

Weak Separation Problem for Tree Languages

Cites Work

• Tree algebras and varieties of tree languages
• The Birkhoff theorem for finite algebras
• Algebraic recognizability of regular tree languages
• Characterizing EF and EX tree logics
• ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES

This page was built for publication: On Pseudovarieties of Forest Algebras