Linearizing well quasi-orders and bounding the length of bad sequences (Q744984): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.07.012
+Normal rank
@@ Property / OpenAlex ID @@
+W1452987818
@@ Property / OpenAlex ID: W1452987818 / 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 @@
+On Ordered Division Rings
@@ Property / cites work: On Ordered Division Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Partial well‐ordering of sets of vectors
@@ Property / cites work: Partial well‐ordering of sets of vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696498
@@ Property / cites work: Q3696498 / rank @@
+Normal rank
@@ Property / cites work @@
+Using unavoidable set of trees to generalize Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Well rewrite orderings and well quasi-orderings
@@ Property / cites work: Well rewrite orderings and well quasi-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Nonconstructive tools for proving polynomial-time decidability
+Normal rank
@@ Property / cites work @@
+Q4228493
@@ Property / cites work: Q4228493 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring completeness of symbolic verification methods for infinite-state systems
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Multiply-Recursive Upper Bounds with Higman’s Lemma
+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 @@
+Alternating automata on data trees and XPath satisfiability
+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 @@
+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 @@
+Weak Bisimulation Approximants
@@ Property / cites work: Weak Bisimulation Approximants / 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 @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank