BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stewart:Iain_A=

Contributed to:

CSL 19991999
CSL 19931993
CSL 19921992
CSL 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.