Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • Ambos-Spies, K. (Guest ed.), Beckmann, A. (Guest ed.), Buss, S. R. (Guest ed.), & Löwe, B. (Guest ed.) (2012). Computability in Europe 2009. Annals of Pure and Applied Logic, 163(5), 483-620. https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/5
  • Ferreira, F. (Guest ed.), Hyland, M. (Guest ed.), Löwe, B. (Guest ed.), & Mayordomo, E. (Guest ed.) (2012). Computability in Europe 2010. Annals of Pure and Applied Logic, 163(6), 621-742. https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/6
  • Beckmann, A. (Guest ed.), Merkle, W. (Guest ed.), & Löwe, B. (Guest ed.) (2012). Computability in Europe: Mathematical Theory and Computational Practice. Theory of Computing Systems, 51(1), 1-122. https://link.springer.com/journal/224/51/1/page/1
  • Ferreira, F. (Guest ed.), Löwe, B. (Guest ed.), & Mayordomo, E. (Guest ed.) (2012). CiE: Programs, Proofs, Processes. Theory of Computing Systems, 51(3), 267-400. https://link.springer.com/journal/224/51/3/page/1
  • Cooper, S. B., Dawar, A., & Löwe, B. (2012). How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings. (Lecture Notes in Computer Science; Vol. 7318). Springer. https://doi.org/10.1007/978-3-642-30870-3
  • Dawar, A., Cooper, S. B., & Löwe, B. (2012). Preface. In S. B. Cooper, A. Dawar, & B. Löwe (Eds.), How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings (pp. V-IX). (Lecture Notes in Computer Science; Vol. 7318). Springer. https://doi.org/10.1007/978-3-642-30870-3
  • Open Access
    Ikegami, D., de Kloet, D., & Löwe, B. (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic, 51(7-8), 671-685. https://doi.org/10.1007/s00153-012-0291-x
  • Open Access
    Khomskii, Y. D. (2012). Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Löwe, B. (2011). Methodological remarks about comparing formal frameworks for narratives. Contactforum, 10-28. http://www.illc.uva.nl/Research/Reports/PP-2011-17.text.pdf
  • Bod, R., Löwe, B., & Saraf, S. (2011). How much do narrative annotations differ? A Proppian case study. In C. Ess, & R. Hagengruber (Eds.), The computational turn: past, presents, futures? : 4-6 July, 2011, Aarhus University (pp. 242-245). Monsenstein und Vannerdat.
Page 4 of 19