Pages that link to "Item:Q4955694"
From MaRDI portal
The following pages link to On Better-Quasi-Ordering Countable Series-Parallel Orders (Q4955694):
Displaying 13 items.
- On structural descriptions of lower ideals of series parallel posets (Q466868) (← links)
- Well-quasi-order of relabel functions (Q603891) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- The order type of the collection of finite series-parallel posets (Q1874362) (← links)
- The structure of infinite Friedman trees (Q1908484) (← links)
- Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory (Q2221497) (← links)
- Reducing the dichromatic number via cycle reversions in infinite digraphs (Q2225401) (← links)
- Well, Better and In-Between (Q3295144) (← links)
- Siblings of an $\aleph_0$-categorical relational structure (Q5154973) (← links)
- Well-quasi-ordering and Embeddability of Relational Structures (Q6493759) (← links)
- Hereditary classes of ordered sets of width at most two (Q6563997) (← links)
- A proof of the alternate Thomassé conjecture for countable \(N\)-free posets (Q6663917) (← links)
