NTS grammars and Church-Rosser systems (Q1159985): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(81)90036-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2075454140
@@ Property / OpenAlex ID: W2075454140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3904059
@@ Property / cites work: Q3904059 / 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 @@
+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 @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q4105657
@@ Property / cites work: Q4105657 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1159985