Stuart T. Smith

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

4 Steven T. Moore, Thomas Haslwanter, Ian S. Curthoys, Stuart T. Smith: Measurement of Three Dimensional Eye Position using Image Processing: A Geometric Approach. ICIP (1) 1994: 436-440

1992

3 Stuart T. Smith: Prime Numbers and Factorization in IE₁ and Weaker Systems. J. Symb. Log. 57(3): 1057-1085 (1992)

1989

2 Stuart T. Smith: Nonstandard Definability. Ann. Pure Appl. Logic 42(1): 21-43 (1989)

1987

1 Stuart T. Smith: Nonstandard Characterizations of Recursive Saturation and Resplendency. J. Symb. Log. 52(3): 842-863 (1987)

1994
4		Steven T. Moore, Thomas Haslwanter, Ian S. Curthoys, Stuart T. Smith: Measurement of Three Dimensional Eye Position using Image Processing: A Geometric Approach. ICIP (1) 1994: 436-440
1992
3		Stuart T. Smith: Prime Numbers and Factorization in IE₁ and Weaker Systems. J. Symb. Log. 57(3): 1057-1085 (1992)
1989
2		Stuart T. Smith: Nonstandard Definability. Ann. Pure Appl. Logic 42(1): 21-43 (1989)
1987
1		Stuart T. Smith: Nonstandard Characterizations of Recursive Saturation and Resplendency. J. Symb. Log. 52(3): 842-863 (1987)

Coauthor Index

1 Ian S. Curthoys [4]

2 Thomas Haslwanter [4]

3 Steven T. Moore [4]