Ruaan Kellerman

According to our database, Ruaan Kellerman authored at least 6 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

First-order theories of bounded trees.

Ruaan Kellerman

Arch. Math. Log., 2022

2021

Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees.

Ruaan Kellerman, Valentin Goranko

J. Symb. Log., 2021

2015

First-order aspects of tree paths.

Ruaan Kellerman

Log. J. IGPL, 2015

2011

Classes and theories of trees associated with a class of linear orders.

Valentin Goranko, Ruaan Kellerman

Log. J. IGPL, 2011

2007

Logical Theories for Fragments of Elementary Geometry.

Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov

Proceedings of the Handbook of Spatial Logics, 2007

First-Order Theories of Orthogonality Structures.

Ruaan Kellerman

Log. J. IGPL, 2007