Pages that link to "Item:Q2118179"
From MaRDI portal
The following pages link to First-order theories of bounded trees (Q2118179):
Displaying 11 items.
- Deciding the first-order theory of an algebra of feature trees with updates (Q1799104) (← links)
- A first-order axiomatization of the theory of finite trees (Q1903080) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- The first-order theory of ground tree rewrite graphs (Q2911631) (← links)
- On model-theoretic tree properties (Q2951900) (← links)
- Classes and theories of trees associated with a class of linear orders (Q3081249) (← links)
- (Q3787513) (← links)
- First-order properties of trees, star-free expressions, and aperiodicity (Q3978766) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
- First-order logic on finite trees (Q5096727) (← links)