The following pages link to First-order aspects of tree paths (Q4644528):
Displaying 7 items.
- Tree-definable linear orders (Q1300332) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- Classes and theories of trees associated with a class of linear orders (Q3081249) (← links)
- Tree-Width for First Order Formulae (Q3644741) (← links)
- (Q3787513) (← links)
- First-order properties of trees, star-free expressions, and aperiodicity (Q3978766) (← links)
- Database Theory - ICDT 2005 (Q5316620) (← links)