Alan Skelley

According to our database, Alan Skelley authored at least 6 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Third-Order Computation and Bounded Arithmetic.

Alan Skelley

J. Log. Comput., 2007

NP search problems in low fragments of bounded arithmetic.

Jan Krajícek, Alan Skelley, Neil Thapen

J. Symb. Log., 2007

2006

Theories and proof systems for PSPACE and the EXP-time hierarchy.

Alan Skelley

PhD thesis, 2006

2004

Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas.

Alan Skelley

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

A Third-Order Bounded Arithmetic Theory for PSPACE.

Alan Skelley

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2000

DB2 Advisor: An Optimizer Smart Enough to Recommend Its Own Indexes.

Gary Valentin, Michael Zuliani, Daniel C. Zilio, Guy M. Lohman, Alan Skelley

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000