The following pages link to Ruaan Kellerman (Q2118178):
Displaying 5 items.
- First-order theories of bounded trees (Q2118179) (← links)
- Classes and theories of trees associated with a class of linear orders (Q3081249) (← links)
- First-order aspects of tree paths (Q4644528) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
- First-Order Theories of Orthogonality Structures (Q5435115) (← links)
