Using unavoidable set of trees to generalize Kruskal's theorem
From MaRDI portal
Recommendations
Cites work
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- On regularity of context-free languages
- Ordering by Divisibility in Abstract Algebras
- Orderings for term-rewriting systems
- The theory of well-quasi-ordering: a frequently discovered concept
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
Cited in
(15)- Well quasi-orders, unavoidable sets, and derivation systems
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Unavoidable languages, cuts and innocent sets of words
- Well quasi-orders generated by a word-shuffle rewriting
- Generalizing Kruskal's theorem to pairs of cohabitating trees
- scientific article; zbMATH DE number 3940739 (Why is no real title available?)
- Embedding with patterns and associated recursive path ordering
- On unavoidability of trees with \(k\) leaves
- Linearizing well quasi-orders and bounding the length of bad sequences
- A comparison of well-quasi orders on trees
- Inventories of unavoidable languages and the word-extension conjecture
- Well rewrite orderings and well quasi-orderings
- Kruskal's tree theorem for acyclic term graphs
- Well Quasi-orders in Formal Language Theory
- Complexity bounds for some finite forms of Kruskal's theorem
This page was built for publication: Using unavoidable set of trees to generalize Kruskal's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1122597)
