Decidable sentences of Church-Rosser congruences (Q593775): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(83)90005-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1988565881
@@ Property / OpenAlex ID: W1988565881 / 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 @@
+When is a monoid a group? The Church-Rosser case is tractable
+Normal rank
@@ Property / cites work @@
+Monadic Thue systems
@@ Property / cites work: Monadic 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 @@
+Une généralisation des ensembles de Dyck
@@ Property / cites work: Une généralisation des ensembles de Dyck / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On the equivalence, containment, and covering problems for the regular and context-free languages
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105657
@@ Property / cites work: Q4105657 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite regular Thue systems
@@ Property / cites work: Infinite regular Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank