Areces, C.E., Monz, C., de Nivelle, J.M.G.G., de Rijke, M. (1999) The guarded fragment: Ins and outs.

In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.

Areces, C.E. (1998) AGM Functions.

In Proc. of BR'98. Belief Revision Workshop (-)

Areces, C.E. (1998) Characterisation results for d-Horn Formulas.

In Proc. ITALLC98 (-). CSLI Publications.

Areces, C.E. (1999) Fragmentary memories.

In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday

Areces, C.E. (2000) Logic Engineering. The Case of Description and Hybrid Logics.

ILLC dissertation series 2000-05.

Thesis, fully internal | UvA-DARE

Arie Erez, S., Blanke, T., Bryant, M., Rodriguez, K., Speck, R., Vanden Daelen, V. (2020) Record linking in the EHRI portal.

Records Management Journal, Vol. 30 (pp 363-378)

Article | https://doi.org/10.1108/RMJ-08-2019-0045 | UvA-DARE

Arló-Costa, H., Hendricks, V.F., van Benthem, J.F.A.K. (2016) Readings in Formal Epistemology: Sourcebook.

Springer Graduate Texts in Philosophy, Vol. 1. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-319-20451-2 | UvA-DARE

Arnoult, S., Sima'an, K. (2012) Adjunct alignment in translation data with an application to phrase-based statistical machine translation.

In Cettolo, M. Federico, M. Specia, L. Way, A. (Eds.), EAMT 2012: proceedings of the 16th Annual Conference of the European Association for Machine Translation: Trento, Italy, May 28th-30th 2012 (pp 287-294). Fondazione Bruno Kessler.

Arnoult, S., Sima'an, K. (2014) How Synchronous are Adjuncts in Translation Data?.

In Wu, D. Carpuat, M. Carreras, X. Vecchi, E.M. (Eds.), Proceedings of SSST-8 : Eighth Workshop on Syntax, Semantics and Structure in Statistical Translation: EMNLP 2014/SIGMT/SIGLEX Workshop : 25 October, 2014, Doha, Qatar (pp 157-165). Association for Computational Linguistics.

Arnoult, S.I., Sima'an, K. (2015) Modelling the Adjunct/Argument Distinction in Hierarchical Phrase-Based SMT.

In Proceedings of the 1st Deep Machine Translation Workshop (DMTW 2015) (pp 2-11)

Arnoult, S.I., Sima'an, K. (2016) Factoring Adjunction in Hierarchical Phrase-Based SMT.

In Proceedings of the 2nd Deep Machine Translation Workshop

Arnoult, S.I. (2021) Adjunction in hierarchical phrase-based translation.

ILLC dissertation series. Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Arpin, S., Camacho-Navarro, C., Lauter, K., Lim, J., Nelson, K., Scholl, T., Sotáková, J. (2023) Adventures in Supersingularland.

Experimental Mathematics, Vol. 32 (pp 241-268)

Article | https://doi.org/10.1080/10586458.2021.1926009 | UvA-DARE

Arsenijevic, B. (2007) Recursive computation in humans and certain species of birds: parallels and implications.

In Pecikoza, V. (Eds.), Antropologia (pp 141-147). Petnica Science Centre.

Arsenijevic, B. (2007) A unified analysis of two classes of Slavic verb-prefixes.

In Blaho, S. Schoorlemmer, E. Vincente, L. (Eds.), Proceedings of ConSole XIV (pp 21-36). ConSOLE.

Arsenijevic, B. (2007) Slavic verb prefixes are resultative.

Cahiers Chronos, Vol. 17 (pp 197-213)

Article | UvA-DARE

Arsenijevic, B. (2007) Disapprobation expressions are vocative epithets.

ACLC Working Papers, Vol. 2 (pp 87-98)

Article | UvA-DARE

Arsenijevic, B. (2008) From spatial cognition to language.

Biolinguistics, Vol. 2 (pp 3-23)

Article | http://www.biolinguistics.eu/index.php/biolinguistics/article/view/34 | UvA-DARE

Artemov, S., Kushner, B., Mints, E., Nogina, E., Troelstra, A.S. (1999) In Memoriam: Albert G. Dragalin, 1941-1998.

The Bulletin of Symbolic Logic, Vol. 5 (pp 389-391)

Article | https://doi.org/10.1017/S1079898600006934 | UvA-DARE

Arunachalam, S., Belovs, A., Childs, A.M., Kothari, R., Rosmanis, A., de Wolf, R. (2020) Quantum Coupon Collector.

In Flammia, S.T. (Eds.), 15th Conference on the Theory of Quantum Computation, Communication and Cryptography: TQC 2020, June 9-12, 2020, Riga, Latvia (Leibniz International Proceedings in Informatics, Vol. 158). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.