2009 |
23 | EE | Paola Bonizzoni,
S. Barry Cooper,
Benedikt Löwe,
Andrea Sorbi:
Foreword.
Theor. Comput. Sci. 410(4-5): 283-284 (2009) |
2008 |
22 | | Arnold Beckmann,
Costas Dimitracopoulos,
Benedikt Löwe:
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
Springer 2008 |
21 | EE | Arnold Beckmann,
Edwin J. Beggs,
Benedikt Löwe:
From Gödel to Einstein: Computability between logic and physics at CiE 2006.
Theor. Comput. Sci. 394(3): 141-143 (2008) |
2007 |
20 | | S. Barry Cooper,
Benedikt Löwe,
Andrea Sorbi:
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Springer 2007 |
19 | EE | Sujata Ghosh,
Benedikt Löwe,
Erik Scorelle:
Belief Flow in Assertion Networks.
ICCS 2007: 401-414 |
18 | EE | Benedikt Löwe,
Brian Semmes:
The Extent of Constructive Game Labellings.
J. Log. Comput. 17(2): 285-298 (2007) |
17 | EE | Arnold Beckmann,
Benedikt Löwe,
Dag Normann:
Logical Approaches to Computational Barriers: CiE 2006.
J. Log. Comput. 17(6): 1021-1023 (2007) |
16 | EE | Thomas Bäck,
Benedikt Löwe:
Computing and the natural sciences at CiE 2005.
Theor. Comput. Sci. 371(1-2): 1-3 (2007) |
15 | EE | S. Barry Cooper,
Benedikt Löwe,
Peter van Emde Boas:
Theory of Computation at CiE 2005.
Theory Comput. Syst. 41(1): 1-2 (2007) |
2006 |
14 | | Arnold Beckmann,
Ulrich Berger,
Benedikt Löwe,
John V. Tucker:
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Springer 2006 |
13 | EE | Benedikt Löwe:
Space Bounds for Infinitary Computation.
CiE 2006: 319-329 |
12 | EE | Benedikt Löwe:
Revision Forever!
ICCS 2006: 22-36 |
11 | EE | Benedikt Löwe:
A parametrised choice principle and Martin's conjecture on Blackwell determinacy.
Math. Log. Q. 52(2): 187-189 (2006) |
10 | EE | S. Barry Cooper,
Benedikt Löwe,
Dag Normann:
Mathematics of computing at CiE 2005.
Mathematical Structures in Computer Science 16(5): 735-736 (2006) |
2005 |
9 | | S. Barry Cooper,
Benedikt Löwe,
Leen Torenvliet:
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Springer 2005 |
8 | EE | Benedikt Löwe,
Darko Sarenac:
Cardinal spaces and topological representations of bimodal logics.
Logic Journal of the IGPL 13(3): 301-306 (2005) |
7 | EE | Benedikt Löwe:
A Global Wellordering of Norms Defined via Blackwell Games.
Order 22(2): 85-92 (2005) |
6 | EE | Kai-Uwe Kühnberger,
Benedikt Löwe,
Michael Möllerfeld,
Philip D. Welch:
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.
Studia Logica 81(1): 79-98 (2005) |
2001 |
5 | EE | Benedikt Löwe:
Turing cones and set theory of the reals.
Arch. Math. Log. 40(8): 651-664 (2001) |
4 | EE | Benedikt Löwe:
Revision Sequences and Computers with an Infinite Amount of Time.
J. Log. Comput. 11(1): 25-40 (2001) |
3 | | Benedikt Löwe,
Philip D. Welch:
Set-Theoretic Absoluteness and the Revision Theory of Truth.
Studia Logica 68(1): 21-41 (2001) |
1999 |
2 | | Jörg Brendle,
Benedikt Löwe:
Solovay-Type Characterizations for Forcing-Algebras.
J. Symb. Log. 64(3): 1307-1323 (1999) |
1998 |
1 | EE | Benedikt Löwe:
Uniform unfolding and analytic measurability.
Arch. Math. Log. 37(8): 505-520 (1998) |