An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942): Difference between revisions

@@ Property / cites work @@
+Systems of reductions
@@ Property / cites work: Systems of reductions / rank @@
+Normal rank
@@ Property / cites work @@
+On a conjecture of Yves Métivier
@@ Property / cites work: On a conjecture of Yves Métivier / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992832
@@ Property / cites work: Q3992832 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal recursive bounds for Higman's theorem
@@ Property / cites work: Ordinal recursive bounds for Higman's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the Knuth Bendix ordering
@@ Property / cites work: Automating the Knuth Bendix ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Time bounded rewrite systems and termination proofs by generalized embedding
+Normal rank
@@ Property / cites work @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Termination proofs and the length of derivations
@@ Property / cites work: Termination proofs and the length of derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Simply terminating rewrite systems with long derivations
+Normal rank
@@ Property / cites work @@
+Derivation lengths and order types of Knuth--Bendix orders
+Normal rank
@@ Property / cites work @@
+Q3779786
@@ Property / cites work: Q3779786 / rank @@
+Normal rank
@@ Property / cites work @@
+Calcul de longueurs de chaînes de réécriture dans le monoïde libre
+Normal rank
@@ Property / cites work @@
+Deduction and Declarative Programming
@@ Property / cites work: Deduction and Declarative Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5297489
@@ Property / cites work: Q5297489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938604
@@ Property / cites work: Q4938604 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank