Ryan Siders

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

Ryan Siders
On quantifier-rank equivalence between linear orders. Inf. Comput. 208 (5) (2010)
Peter Koepke, Ryan Siders
Minimality considerations for ordinal computers modeling constructibility. Theor. Comput. Sci. 394 (3) (2008)
Peter Koepke, Ryan Siders
Register computations on ordinals. Arch. Math. Log. 47 (6) (2008)
Ryan Siders
Monotone Subsequences in Any Dimension. J. Comb. Theory, Ser. A 85 (2) (1999)