Alan Skelley

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Alan Skelley
Third-Order Computation and Bounded Arithmetic. J. Log. Comput. 17 (6) (2007)
Jan Krajícek, Alan Skelley, Neil Thapen
NP search problems in low fragments of bounded arithmetic. J. Symb. Log. 72 (2) (2007)
Alan Skelley
A Third-Order Bounded Arithmetic Theory for PSPACE. CSL (2004)
Alan Skelley
Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas. ICALP (2004)
Gary Valentin, Michael Zuliani, Daniel C. Zilio, Guy M. Lohman, Alan Skelley
DB2 Advisor: An Optimizer Smart Enough to Recommend Its Own Indexes. ICDE (2000)