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

@@ Property / DOI @@
-.1006/inco.2002.3160
@@ Property / DOI: 10.1006/inco.2002.3160 / rank @@
-Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q124902244
@@ Property / Wikidata QID: Q124902244 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2002.3160
@@ Property / DOI: 10.1006/INCO.2002.3160 / rank @@
+Normal rank