Ryan Siders

Register computations on ordinals

Peter Koepke, Ryan Siders, P. Koepke, 2008, Arch. Math. Log..

Monotone Subsequences in Any Dimension

Ryan Siders, Ryan C. Siders, 1999, J. Comb. Theory, Ser. A.

Minimality considerations for ordinal computers modeling constructibility

Peter Koepke, Ryan Siders, P. Koepke, 2008, Theor. Comput. Sci..

Layered circlepackings and the type problem

Ryan Siders, 1998 .

On quantifier-rank equivalence between linear orders

Ryan Siders, 2010, Inf. Comput..