Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • 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
  • Kechris, A. S., Löwe, B., & Steel, J. R. (Eds.) (2012). The Cabal Seminar. - Volume II: Wadge degrees and projective ordinals. (Lecture Notes in Logic; Vol. 37). Cambridge University Press. https://doi.org/10.1017/CBO9781139028073
  • 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.
  • Open Access
    Esakia, L., & Löwe, B. (2012). Fatal Heyting algebras and forcing persistent sentences. Studia Logica, 100(1-2), 163-173. https://doi.org/10.1007/s11225-012-9393-z
  • Löwe, B., Pacuit, E., & Witzel, A. (2011). DEL planning and some tractable cases. In H. van Ditmarsch, J. Lang, & S. Ju (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp. 179-192). (Lecture Notes in Computer Science; Vol. 6953), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-24130-7_13
  • 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