Conditional semi-Thue systems for presenting monoids (Q5096810): Difference between revisions

@@ Property / cites work @@
+Q3714064
@@ Property / cites work: Q3714064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686043
@@ Property / cites work: Q3686043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817656
@@ Property / cites work: Q3817656 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+A finite Thue system with decidable word problem and without equivalent finite canonical system
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence phenomena during completion
@@ Property / cites work: Divergence phenomena during completion / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying nilpotence
@@ Property / cites work: Verifying nilpotence / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+Normal rank
@@ Property / cites work @@
+A finiteness condition for rewriting systems
@@ Property / cites work: A finiteness condition for rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Noetherian and confluent rewrite system for idempotent semigroups
+Normal rank