Tree algebras and varieties of tree languages
From MaRDI portal
Publication:884456
DOI10.1016/j.tcs.2007.02.006zbMath1118.68089DBLPjournals/tcs/SalehiS07OpenAlexW1949820592WikidataQ57533057 ScholiaQ57533057MaRDI QIDQ884456
Publication date: 6 June 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.02.006
tree automatabinary treestree languagessyntactic tree algebrastree algebrasvarieties of tree languages
Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70)
Related Items (9)
Tree algebras and varieties of tree languages ⋮ Superassociative structures of terms and formulas defined by transformations preserving a partition ⋮ Unnamed Item ⋮ On Pseudovarieties of Forest Algebras ⋮ ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES ⋮ Recognisability for algebras of infinite trees ⋮ Eilenberg Theorems for Free ⋮ Games for Temporal Logics on Trees ⋮ Weak Separation Problem for Tree Languages
Cites Work
- An algebraic characterization of frontier testable tree languages
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
- Tree algebras and varieties of tree languages
- General varieties of tree languages
- Tree acceptors and some of their applications
- Positive varieties of tree languages
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Algebraic automata and context-free sets
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Tree algebras and varieties of tree languages
