A complete characterization of termination of 0p 1q→1r 0s (Q5055817): Difference between revisions

@@ Property / author @@
-Hans Zantema
@@ Property / author: Hans Zantema / rank @@
-Normal rank
@@ Property / author @@
+Hans Zantema
@@ Property / author: Hans Zantema / rank @@
+Normal rank
@@ 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.1007/3-540-59200-8_46
+Normal rank
@@ Property / OpenAlex ID @@
+W2114974231
@@ Property / OpenAlex ID: W2114974231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757390
@@ Property / cites work: Q3757390 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination by completion
@@ Property / cites work: Termination by completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of Turing machines by a left-linear rewrite rule
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``Termination of rewriting''
@@ Property / cites work: Corrigendum to ``Termination of rewriting'' / rank @@
+Normal rank
@@ Property / cites work @@
+Topics in termination
@@ Property / cites work: Topics in termination / rank @@
+Normal rank
@@ Property / cites work @@
+Dummy elimination: Making termination easier
@@ Property / cites work: Dummy elimination: Making termination easier / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055817