A. S. Troelstra
发表
H. C. Doets,
A. S. Troelstra,
Y. Venema,
2001
.
A. S. Troelstra,
D. van Dalen,
1990
.
A. S. Troelstra,
Gert H. Müller,
Jane E. Kister,
1987
.
A. S. Troelstra,
1969
.
A. S. Troelstra,
H. Schwichtenberg,
2000
.
A. S. Troelstra,
A. Troelstra,
1969
.
A. S. Troelstra,
A. Troelstra,
1969
.
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
A. S. Troelstra,
A. Troelstra,
1977
.
A. S. Troelstra,
H. Schwichtenberg,
2000
.
A. S. Troelstra,
A. Troelstra,
1990
.
A. S. Troelstra,
1969
.
A. S. Troelstra,
A. Troelstra,
1968
.
Helmut Schwichtenberg,
A. S. Troelstra,
A. Troelstra,
1996,
Cambridge tracts in theoretical computer science.
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
A. S. Troelstra,
2016
.
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
Wolfgang Lenski,
A. S. Troelstra,
D. van Dalen,
1987
.
A. S. Troelstra,
A. Troelstra,
1998
.
Stephen Cole Kleene,
A. S. Troelstra,
D. van Dalen,
1968
.
A. S. Troelstra,
D.H.J. de Jongh,
A. Troelstra,
1966
.
A. S. Troelstra,
A. Troelstra,
2011
.
A. S. Troelstra,
D. van Dalen,
A. Troelstra,
1991
.
A. S. Troelstra,
A. Troelstra,
1973
.
A. S. Troelstra,
2004,
Synthese.
A. S. Troelstra,
J. Diller,
1984
.
A. S. Troelstra,
A. Troelstra,
J. Diller,
1984,
Synthese.
A. S. Troelstra,
A. Troelstra,
1977
.
A. S. Troelstra,
1969
.
A. S. Troelstra,
D. van Dalen,
A. Troelstra,
1970
.
A. S. Troelstra,
1981
.
A. S. Troelstra,
1983
.
A. S. Troelstra,
1973
.
A. S. Troelstra,
A. Troelstra,
1982
.
A. S. Troelstra,
1975
.
A. S. Troelstra,
A. Troelstra,
1973
.
A. S. Troelstra,
H. Schwichtenberg,
2000
.
A. S. Troelstra,
A. Troelstra,
1980
.
A. S. Troelstra,
A. Troelstra,
1981
.
A. S. Troelstra,
A. Troelstra,
1970
.
A. S. Troelstra,
D. van Dalen,
L. E. J. Brouwer,
1982
.
A. S. Troelstra,
A. Troelstra,
1969
.