Applying rewriting methods to special monoids (Q5288344): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy in special monoids
@@ Property / cites work: Conjugacy in special monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Units of special Church-Rosser monoids
@@ Property / cites work: Units of special Church-Rosser monoids / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Special monoids and special Thue systems
@@ Property / cites work: Special monoids and special Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for finite special string-rewriting systems that are confluent on some congruence class
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5288344