Head boundedness of nonterminating rewritings (Q1894332): Difference between revisions

@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+Q4205073
@@ Property / cites work: Q4205073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ Property / cites work @@
+Head boundedness of nonterminating rewritings
@@ Property / cites work: Head boundedness of nonterminating rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank