Troelstra, A.S. (1998) Realizability.

In Buss, S. (Eds.), Handbook of proof theory (pp ---) (-). North-Holland/ Elsevier.

Troelstra, A.S. (1999) From constructivism to computer science.

Theoretical Computer Science, Vol. 211 (pp 233-252)

Article | https://doi.org/10.1016/S0304-3975(97)00172-2 | UvA-DARE

Troelstra, A.S. (1999) Marginalia on sequent calculi.

Studia Logica, Vol. 62 (pp 291-303)

Article | UvA-DARE

Troelstra, A.S. (2000) Ware en Gevoelige Verhalen.

Technical Report. Institute for Logic Language and Computation.

Report | UvA-DARE

Troelstra, A.S. (2001) Honderd jaar keuzenrijen.

Verslagen van de Afdeling Natuurkunde van de KNAW, Vol. 110 (pp 223-227)

Article | UvA-DARE

Troelstra, A.S. (2004) Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh.

Institute for Logic, Language and Computation.

Book (Editorship) | UvA-DARE

Troelstra, A.S. (2004) Tijgers op de Ararat.

Atlas.

Book | UvA-DARE

Troelstra, A.S. (2005) Proof Theory and Constructive Mathematics.

In Mathematics: History,Concepts, and Foundations, from /Encyclopedia of Life Support Systems (EOLSS). Eolss Publishers.

Troelstra, A.S. (2011) History of constructivism in the 20th century.

In Kennedy, J. Kossak, R. (Eds.), Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (pp 150-179) (Lecture Notes in logic, Vol. 36). Cambridge University Press.

Troelstra, A.S. (2016) Checking your history.

In van Eijk, J. Iemhoff, R. Joosten, J.J. (Eds.), Liber Amicorum Alberti: a tribute to Albert Visser (pp 223-230) (Tributes, Vol. 30). College Publications.

Tromp, J., Buhrman, H., Li, M., Vitanyi, P.M.B. (2000) Kolmogorov random graphs and the incompressibility method.

SIAM Journal on Computing, Vol. 29 (pp 590-599)

Article | https://doi.org/10.1137/S0097539797327805 | UvA-DARE

Tromp, J., Vitanyi, P.M.B. (2002) A protocol for randomized anonymous two process wait-free test-and-set with finite-state verification.

In Pro. 9th International Colloquium on Structural Information and Communication Complexity (pp 275-292). Carleton University Press.

Tromp, J., Vitanyi, P.M.B. (2002) Randomized two-process wait-free test-and-set.

Distributed Computing, Vol. 15 (pp 127-135)

Article | https://doi.org/10.1007/s004460200071 | UvA-DARE

Trotman, A., Geva, S., Kamps, J., Lalmas, M., Murdock, V. (2010) Current research in focused retrieval and result aggregation.

Information Retrieval, Vol. 13 (pp 407-411)

Article | https://doi.org/10.1007/s10791-010-9137-5 | UvA-DARE

Trotman, A., Geva, S., Kamps, J. (2007) Report on the SIGIR 2007 workshop on focused retrieval.

SIGIR Forum, Vol. 42 (pp 97-103)

Article | UvA-DARE

Trotman, A., Geva, S., Kamps, J. (2008) Proceedings of the SIGIR 2007 Workshop on Focused Retrieval: held in Amsterdam, The Netherlands, 27 July 2007.

University of Otago, Department of Computer Science.

Book (Editorship) | http://www.cs.otago.ac.nz/sigirfocus/FullProceedings.pdf | UvA-DARE

Trotman, A., Geva, S., Kamps, J. (2008) Proceedings of the SIGIR 2008 Workshop on Focused Retrieval: held in Singapore, 24 July 2008.

University of Otago, Department of Computer Science.

Book (Editorship) | http://www.cs.otago.ac.nz/sigirfocus2008/Proceedings.pdf | UvA-DARE

Tsakonas, G., Kamps, J. (2020) Current research on theory and practice of digital libraries: Best papers from TPDL 2017.

International Journal on Digital Libraries, Vol. 21 (pp 1-3)

Editorial | https://doi.org/10.1007/s00799-020-00278-4 | UvA-DARE

Tsarfaty, R., Sima'an, K., Scha, R. (2009) An alternative to head-driven approaches for parsing a (relatively) free word-order language.

In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: a meeting of SIGDAT, a special interest group of ACL : 6-7 August 2009, Singapore, held in conjunction with ACL-IJCNLP 2009 (pp 842-851). Association for Computational Linguistics (ACL).

Tsarfaty, R., Sima'an, K. (2007) Accurate Unlexicalized Parsing for Modern Hebrew.

In Matoušek, V. Mautner, P. (Eds.), Text, Speech and Dialogue: 10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007 : proceedings (pp 39-47) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 4629). Springer.