Travelled to:1 × Finland
1 × Poland
Collaborated with:∅
Talks about:boolean (2) pspace (2) quantifi (1) proposit (1) arithmet (1) program (1) formula (1) versus (1) theori (1) reason (1)
Person: Alan Skelley
DBLP: Skelley:Alan
Contributed to:
2004
2004Wrote 2 papers:
- CSL-2004-Skelley #bound #higher-order
- A Third-Order Bounded Arithmetic Theory for PSPACE (AS), pp. 340–354.
- ICALP-2004-Skelley #quantifier #reasoning #source code
- Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas (AS), pp. 1163–1175.