A syntactic congruence for languages of birooted trees (Q906981): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00233-014-9677-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1988961929
@@ Property / OpenAlex ID: W1988961929 / rank @@
+Normal rank
@@ Property / cites work @@
+ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH
+Normal rank
@@ Property / cites work @@
+Q3086921
@@ Property / cites work: Q3086921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper two-sided restriction semigroups and partial actions.
+Normal rank
@@ Property / cites work @@
+The recognizability of sets of graphs is a robust property
+Normal rank
@@ Property / cites work @@
+Reversible, irreversible and optimal \(\lambda\)-machines
+Normal rank
@@ Property / cites work @@
+Q5313940
@@ Property / cites work: Q5313940 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Actions and partial actions of inductive constellations.
+Normal rank
@@ Property / cites work @@
+Q5393094
@@ Property / cites work: Q5393094 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras, Automata and Logic for Languages of Labeled Birooted Trees
+Normal rank
@@ Property / cites work @@
+On Languages of One-Dimensional Overlapping Tiles
@@ Property / cites work: On Languages of One-Dimensional Overlapping Tiles / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Tile Automata
@@ Property / cites work: Overlapping Tile Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems
+Normal rank
@@ Property / cites work @@
+On free inverse monoid languages
@@ Property / cites work: On free inverse monoid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+The local structure of tilings and their integer group of coinvariants
+Normal rank
@@ Property / cites work @@
+Tiling semigroups
@@ Property / cites work: Tiling semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+Normal rank
@@ Property / cites work @@
+McAlister semigroups
@@ Property / cites work: McAlister semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3681954
@@ Property / cites work: Q3681954 / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse Semigroups Which are Separated Over a Subsemigroup
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of inverse monoids
@@ Property / cites work: Presentations of inverse monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362730
@@ Property / cites work: Q4362730 / rank @@
+Normal rank