Ambainis, A., Spalek, R., de Wolf, R. (2005) Quantum Direct Product Theorems for Symmetric Functions and Time-Space Tradeoffs.

Unknown Publisher.

Report | UvA-DARE

Ambainis, A., Spalek, R., de Wolf, R. (2006) A New Quantum Lower Bound Method, with Applications to Direct ProductTheorems and Time-Space Tradeoffs.

In Proceedings of 38th Annual ACM Symposium on Theory of Computing (STOC'06) (pp 618-633)

Ambainis, A., Spalek, R. (2006) Quantum Algorithms for Matching and Network Flows.

Lecture Notes in Computer Science, Vol. 3884 (pp 172-183)

Article | UvA-DARE

Ambati, B.R., Deoskar, T., Steedman, M. (2016) Shift-Reduce CCG Parsing using Neural Network Models.

In Knight, K. Nenkova, A. Rambow, O. (Eds.), NAACL HLT 2016 : The 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Proceedings of the Conference : June 12-17, 2016, San Diego, California, USA (pp 447-453). The Association for Computational Linguistics.

Ambos-Spies, K., Beckmann, A., Buss, S., Löwe, B. (2012) Computability in Europe 2009.

Annals of Pure and Applied Logic, Vol. 163 (pp 483-620)

Special issue (Editorship) | https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/5 | UvA-DARE

Ambos-Spies, K., Löwe, B., Merkle, W. (2009) Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009: Proceedings.

Lecture notes in computer science. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-03073-4 | UvA-DARE

Ambos-Spies, K., Neis, H.C., Terwijn, S.A. (1994) Genericity and measure for exponential time.

In Rovan, B. Privara, I. Ruzicka, P. (Eds.), Mathematical Foundations of Computer Science 1994 (pp 221-232) (Lecture Notes in Computer Science). Springer Verlag.

Ambos-Spies, K., Neis, H.C., Terwijn, S.A. (1996) Genericity and measure for exponential time.

Theoretical Computer Science, Vol. 168 (pp 3-19)

Article | https://doi.org/10.1016/0304-3975(96)89424-2 | UvA-DARE

Ambos-Spies, K., Terwijn, S.A., Zheng, X. (1994) Resource bounded randomness and weakly complete problems.

In Zhang, X.S Du, D.Z. (Eds.), Algorithms and Computation (pp 369-377) (Lecture Notes in Computer Science). Springer Verlag.

Amorós, L., Iezzi, A., Lauter, K., Martindale, C., Sotáková, J. (2021) Explicit connections between supersingular isogeny graphs and Bruhat–Tits trees.

In Cojocaru, A.C. Ionica, S. Lorenzo García, E. (Eds.), Women in Numbers Europe III: Research Directions in Number Theory (pp 39-73) (Association for Women in Mathematics Series, Vol. 24). Springer.

Andrade-Lotero, E., Dutilh-Novaes, C. (2009) A reconstruction of hierarchical relations between incompatibility-entailment, committive, and permissive consequences.

In Amoretti, C. Penco, C. Pitto, F. (Eds.), Proceedings of the Workshop on Bob Brandom's Recent Philosophy of Language: Towards an Analytic Pragmatism (TAP-2009): Genoa, Italy, April 19-23, 2009 (pp 90-98) (CEUR Workshop Proceedings, Vol. 444). CEUR-WS.

Andrade-Lotero, E.J. (2012) Models of language: towards a practice-based account of information in natural language.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Andrade, E. (2009) Compositionality from a "use-theoretic" perspective.

In Munz, V.A. Puhl, K. Wang, J. (Eds.), Language and world: Pre-proceedings of 32nd International Wittgenstein Symposium (pp 25-26)

Andreka, H., Goranko, V., Mikulas, S., Nemeti, I., Sain, I. (1995) Effective Temporal Logic of Programs.

In Szalas, A. Bolc, E. (Eds.), Time and Logic. UCL Press.

Andreka, H., van Benthem, J.F.A.K., Bezhanishvili, N., Nemeti, I. (2014) Changing a semantics: opportunism or courage?.

In Manzano, M Sain, I. Alonso, E. (Eds.), The life and work of Leon Henkin: essays on his contributions (pp 307-337) (Studies in Universal Logic). Birkhäuser.

Andréka, H., van Benthem, J.F.A.K., Németi, I. (2017) On a New Semantics for First-Order Predicate Logic.

Journal of Philosophical Logic, Vol. 46 (pp 259–267)

Article | https://doi.org/10.1007/s10992-017-9429-y | UvA-DARE

Andréka, H., van Benthem, J.F.A.K., Németi, I. (2023) A note on the submodel preservation property in fragments of first-order logic.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2303.13222 | UvA-DARE

Anscombe, S., Jahnke, F. (2024) Characterizing NIP henselian fields.

Journal of the London Mathematical Society, Vol. 109

Article | https://doi.org/10.1112/jlms.12868 | UvA-DARE

Antunes, L., Buhrman, H., Matos, A., Souto, A., Teixeira, A. (2016) Distinguishing Two Probability Ensembles with One Sample from each Ensemble.

Theory of Computing Systems, Vol. 59 (pp 517-531)

Article | https://doi.org/10.1007/s00224-015-9661-1 | UvA-DARE

Antunes, L., Costa, A ., Matos, A., Vitanyi, P. (2007) Computational Depth of Infinite Strings Revisited.

In Cooper, S.B. Kent, T.F. Löwe, B. Sorbi, A. (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : local proceedings (pp 36-44)