Star-free languages are Church-Rosser congruential (Q714818): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1975372170
@@ Property / OpenAlex ID: W1975372170 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4300
@@ Property / arXiv ID: 1111.4300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5564342
@@ Property / cites work: Q5564342 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure future local temporal logics are expressively complete for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Q3086925
@@ Property / cites work: Q3086925 / rank @@
+Normal rank
@@ Property / cites work @@
+The Krohn-Rhodes Theorem and Local Divisors
@@ Property / cites work: The Krohn-Rhodes Theorem and Local Divisors / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
+Normal rank
@@ Property / cites work @@
+Church-Rosser Thue systems and formal languages
@@ Property / cites work: Church-Rosser Thue systems and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Von Neumann regularity in Jordan triple systems
@@ Property / cites work: Von Neumann regularity in Jordan triple systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
+Normal rank
@@ Property / cites work @@
+Q4737920
@@ Property / cites work: Q4737920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302760
@@ Property / cites work: Q5302760 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank