ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
+Normal rank
@@ Property / cites work @@
+Representation theory of finite semigroups, semigroup radicals and formal language theory
+Normal rank
@@ Property / cites work @@
+Characterizing EF and EX tree logics
@@ Property / cites work: Characterizing EF and EX tree logics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Model Theory
@@ Property / cites work: Finite Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing CTL-like logics on finite trees.
@@ Property / cites work: Characterizing CTL-like logics on finite trees. / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic recognizability of regular tree languages
+Normal rank
@@ Property / cites work @@
+First-order properties of trees, star-free expressions, and aperiodicity
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on<i>C</i>-varieties
@@ Property / cites work: Some results on<i>C</i>-varieties / rank @@
+Normal rank
@@ Property / cites work @@
+The kernel of monoid morphisms
@@ Property / cites work: The kernel of monoid morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition techniques for finite semigroups, using categories. I
+Normal rank
@@ Property / cites work @@
+Decomposition techniques for finite semigroups, using categories. II
+Normal rank
@@ Property / cites work @@
+Tree algebras and varieties of tree languages
@@ Property / cites work: Tree algebras and varieties of tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+General varieties of tree languages
@@ Property / cites work: General varieties of tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Closure of varieties of languages under products with counter
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of frontier testable tree languages
+Normal rank