Alan Skelley

	2007
4		Alan Skelley: Third-Order Computation and Bounded Arithmetic. J. Log. Comput. 17(6): 1167-1191 (2007)
	2004
3		Alan Skelley: A Third-Order Bounded Arithmetic Theory for PSPACE. CSL 2004: 340-354
2		Alan Skelley: Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas. ICALP 2004: 1163-1175
	2000
1		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: 101-110

Coauthor Index

1	Guy M. Lohman	[1]
2	Gary Valentin	[1]
3	Daniel C. Zilio	[1]
4	Michael Zuliani	[1]