Travelled to:1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
Collaborated with:∅
Talks about:quantifi (2) lindström (1) character (1) translat (1) polynomi (1) incorpor (1) project (1) program (1) general (1) complet (1)
Person: Iain A. Stewart
DBLP: Stewart:Iain_A=
Contributed to:
1999199319921991Wrote 4 papers:
- CSL-1999-Stewart #array #quantifier
- Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.
- CSL-1993-Stewart #fixpoint #quantifier
- Incorporating Generalized Quantifiers and the Least Fixed Point Operator (IAS), pp. 318–333.
- CSL-1992-Stewart #bound #logic #polynomial #query
- Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines (IAS), pp. 410–424.
- CSL-1991-Stewart #on the
- On Completeness for NP via Projection Translations (IAS), pp. 353–366.