A note on confluent Thue systems (Q6114513): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55124-7_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1554156161
@@ Property / OpenAlex ID: W1554156161 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent and Other Types of Thue Systems
@@ Property / cites work: Confluent and Other Types of Thue Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser property
@@ Property / cites work: Testing for the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6114513