Login / Signup
Ruaan Kellerman
ORCID
Publication Activity (10 Years)
Years Active: 2007-2022
Publications (10 Years): 3
Top Topics
Quantifier Elimination
Logical Theories
Tree Structure
Tree Nodes
Top Venues
Log. J. IGPL
Arch. Math. Log.
J. Symb. Log.
</>
Publications
</>
Ruaan Kellerman
First-order theories of bounded trees.
Arch. Math. Log.
61 (1) (2022)
Ruaan Kellerman
,
Valentin Goranko
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees.
J. Symb. Log.
86 (3) (2021)
Ruaan Kellerman
First-order aspects of tree paths.
Log. J. IGPL
23 (4) (2015)
Valentin Goranko
,
Ruaan Kellerman
Classes and theories of trees associated with a class of linear orders.
Log. J. IGPL
19 (1) (2011)
Ruaan Kellerman
First-Order Theories of Orthogonality Structures.
Log. J. IGPL
15 (3) (2007)