General varieties of tree languages
From MaRDI portal
Publication:1275067
DOI10.1016/S0304-3975(98)00010-3zbMath0913.68115MaRDI QIDQ1275067
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (21)
State Complexity of Kleene-Star Operations on Trees ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Tree algebras and varieties of tree languages ⋮ Aperiodicity in Tree Automata ⋮ Finite-state automata in information technologies ⋮ ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES ⋮ Idempotent tree languages ⋮ Algebraic recognizability of regular tree languages ⋮ Recognisability for algebras of infinite trees ⋮ Characterizing CTL-like logics on finite trees. ⋮ On the form of witness terms ⋮ Games for Temporal Logics on Trees ⋮ Characterizations of recognizable weighted tree languages by logic and bimorphisms ⋮ State Complexity of Nested Word Automata ⋮ GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES ⋮ General varieties of tree languages ⋮ On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences ⋮ Equational weighted tree transformations ⋮ Extended multi bottom-up tree transducers ⋮ Positive varieties of tree languages ⋮ Cascade Products and Temporal Logics on Finite Trees
Cites Work
- An algebraic characterization of frontier testable tree languages
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
- Recognizable languages and congruences
- General varieties of tree languages
- Homomorphisms and subdirect decompositions of semigroups
- First-order properties of trees, star-free expressions, and aperiodicity
- Bottom-up and top-down tree transformations— a comparison
- Algebras for classifying regular tree languages and an application to frontier testability
- On reverse and general definite tree languages
- The Theory of Definite Automata
- 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: General varieties of tree languages