Pages that link to "Item:Q1275067"

The following pages link to General varieties of tree languages (Q1275067):

Displaying 23 items.

• Finite-state automata in information technologies (Q464949) (← links)
• Recognisability for algebras of infinite trees (Q551167) (← links)
• Equational weighted tree transformations (Q766185) (← links)
• Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
• Tree algebras and varieties of tree languages (Q884456) (← links)
• On the form of witness terms (Q982183) (← links)
• Extended multi bottom-up tree transducers (Q1038420) (← links)
• General varieties of tree languages (Q1275067) (← links)
• Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← links)
• Algebraic recognizability of regular tree languages (Q2484441) (← links)
• Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
• Positive varieties of tree languages (Q2576866) (← links)
• State Complexity of Kleene-Star Operations on Trees (Q2891328) (← links)
• GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES (Q3084665) (← links)
• Aperiodicity in Tree Automata (Q3522867) (← links)
• ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
• Games for Temporal Logics on Trees (Q3602814) (← links)
• State Complexity of Nested Word Automata (Q3618567) (← links)
• Idempotent tree languages (Q4916753) (← links)
• Cascade Products and Temporal Logics on Finite Trees (Q5262961) (← links)
• On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences (Q5483345) (← links)
• Algebras of generalized tree languages with fixed variables (Q6561522) (← links)
• Monadic monadic second order logic (Q6612795) (← links)