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

Arló-Costa, H. Hendricks, V.F. van Benthem, J. (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 fur Informatik GmbH, Dagstuhl Publishing.

Arunachalam, S. Chakraborty, S. Koucký, M. Saurabh, N. de Wolf, R. (2020) Improved bounds on Fourier entropy and Min-entropy.

In Paul, C. Bläser, M. (Eds.), 37th International Symposium on Theoretical Aspects of Computer Science: STACS 2020, March 10-13, 2020, Montpellier, France (Leibniz International Proceedings in Informatics, Vol. 154). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Arunachalam, S. Chakraborty, S. Koucký, M. Saurabh, N. de Wolf, R. (2021) Improved Bounds on Fourier Entropy and Min-entropy.

ACM Transactions on Computation Theory, Vol. 13

Article | https://doi.org/10.1145/3470860 | UvA-DARE

Arunachalam, S. Chakraborty, S. Lee, T. Paraashar, M. de Wolf, R. (2019) Two new results about quantum exact learning.

In Baier, C. Chatzigiannakis, I. Flocchini, P. Leonardi, S. (Eds.), 46th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9-12, 2019, Patras, Greece (Leibniz International Proceedings in Informatics, Vol. 132). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.