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 / 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.1006/inco.2002.3160
+Normal rank
@@ Property / OpenAlex ID @@
+W4246897387
@@ Property / OpenAlex ID: W4246897387 / 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