Ruaan Kellerman

According to our database, Ruaan Kellerman authored at least 8 papers between 2007 and 2023.

Collaborative distances:

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

2023

Structural theory of trees II. Completeness and completions of trees.

Ruaan Kellerman, Alberto Zanardo, Valentin Goranko

Contributions Discret. Math., 2023

Structural theory of trees I. Branching and condensations of trees.

Valentin Goranko, Ruaan Kellerman, Alberto Zanardo

Contributions Discret. Math., 2023

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