A characterisation of multiply recursive functions with Higman's lemma. (Q1400716): Difference between revisions

@@ Property / cites work @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+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 @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs by multiset path orderings imply primitive recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5297489
@@ Property / cites work: Q5297489 / rank @@
+Normal rank