Pages that link to "Item:Q4955694"
From MaRDI portal
The following pages link to On Better-Quasi-Ordering Countable Series-Parallel Orders (Q4955694):
Displaying 8 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)
- 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)