Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • Ghosh, S., Löwe, B., & Scorelle, E. (2007). Belief Flow in Assertion Networks. In U. Priss, S. Polovina, & R. Hill (Eds.), Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings (pp. 401-414). (Lecture Notes in Computer Science; Vol. 4604), ( Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-540-73681-3_30
  • Bold, S., Löwe, B., Räsch, T., & van Benthem, J. F. A. K. (2007). Foundations of the formal sciences V: infinite games. (Studies in Logic; No. 11). College Publications.
  • Löwe, B., & Semmes, B. (2007). The extent of constructive game labellings. Journal of Logic and Computation, 17(2), 285-298. https://doi.org/10.1093/logcom/exl039
  • Löwe, B. (2006). Review of Apter, Sargsyan "Can a large cardinal be forced from a condition implying its negation?" [Review of: Can a large cardinal be forced from a condition implying its negation]. Zentralblatt MATH, 1079(03040).
  • Löwe, B. (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of: Homogeneously Souslin sets in small inner models]. Zentralblatt MATH, 1085(03040).
  • Löwe, B. (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of: An introduction to proofs of determinacy of long games]. Mathematical Reviews, 2006d(03083).
  • Beckmann, A., Berger, U., Löwe, B., & Tucker, J. V. (2006). Logical approaches to computational barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, Wales, July 2006, Proceedings. (Lecture Notes in Computer Science; No. 3988). Springer Verlag.
  • Löwe, B., Peckhaus, V., & Räsch, T. (2006). Foundations of the Formal Sciences IV, The History of the Concept of the Formal Sciences. (Studies in Logic; No. 3). College Publications.
  • Cooper, S. B., Löwe, B., & Normann, D. (2006). Mathematics of Computation at CiE 2005. (Mathematical Structures in Computer Science; No. 60 (6)). Cambridge University Press.
  • Löwe, B. (2006). A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Mathematical Logic Quarterly, 52, 187-189. https://doi.org/10.1002/malq.200410059
Page 8 of 19