Multiply-Recursive Upper Bounds with Higman’s Lemma (Q3012939): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2138781755
@@ Property / OpenAlex ID: W2138781755 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4399
@@ Property / arXiv ID: 1103.4399 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
+Normal rank
@@ Property / cites work @@
+Pumping and Counting on the Regular Post Embedding Problem
+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 @@
+On the finite containment problem for Petri nets
@@ Property / cites work: On the finite containment problem for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic functions. I
@@ Property / cites work: Hierarchies of number-theoretic functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and large finite sets
@@ Property / cites work: Petri nets and large finite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447240
@@ Property / cites work: Q4447240 / rank @@
+Normal rank
@@ Property / cites work @@
+Lossy Counter Machines Decidability Cheat Sheet
@@ Property / cites work: Lossy Counter Machines Decidability Cheat Sheet / rank @@
+Normal rank
@@ Property / cites work @@
+A characterisation of multiply recursive functions with Higman's lemma.
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank