On normalizing, non-terminating one-rule string rewriting systems (Q1575660): Difference between revisions

@@ Property / author @@
-Alfons Geser
@@ Property / author: Alfons Geser / rank @@
-Normal rank
@@ Property / author @@
+Alfons Geser
@@ Property / author: Alfons Geser / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+Das Identitätsproblem für Gruppen mit einer definierenden Relation
+Normal rank
@@ Property / cites work @@
+Calcul de longueurs de chaînes de réécriture dans le monoïde libre
+Normal rank
@@ Property / cites work @@
+On termination of confluent one-rule string-rewriting systems
+Normal rank
@@ Property / cites work @@
+On confluence of one-rule trace-rewriting systems
@@ Property / cites work: On confluence of one-rule trace-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Looping String Rewriting
@@ Property / cites work: Non-Looping String Rewriting / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1575660