The following pages link to (Q3384891):
Displaying 8 items.
- First-order theories of bounded trees (Q2118179) (← links)
- (Q3110192) (← links)
- First-Order Definability of Trees and Sparse Random Graphs (Q3438138) (← links)
- Frame Definability for Classes of Trees in the μ-calculus (Q3586099) (← links)
- (Q3787513) (← links)
- First-order properties of trees, star-free expressions, and aperiodicity (Q3978766) (← links)
- (Q5186728) (← links)
- The Computable Dimension of I-Trees of Infinite Height (Q5476778) (← links)