dblp.uni-trier.dewww.uni-trier.de

Benedikt Löwe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
23EEPaola 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
21EEArnold 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
19EESujata Ghosh, Benedikt Löwe, Erik Scorelle: Belief Flow in Assertion Networks. ICCS 2007: 401-414
18EEBenedikt Löwe, Brian Semmes: The Extent of Constructive Game Labellings. J. Log. Comput. 17(2): 285-298 (2007)
17EEArnold Beckmann, Benedikt Löwe, Dag Normann: Logical Approaches to Computational Barriers: CiE 2006. J. Log. Comput. 17(6): 1021-1023 (2007)
16EEThomas Bäck, Benedikt Löwe: Computing and the natural sciences at CiE 2005. Theor. Comput. Sci. 371(1-2): 1-3 (2007)
15EES. 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
13EEBenedikt Löwe: Space Bounds for Infinitary Computation. CiE 2006: 319-329
12EEBenedikt Löwe: Revision Forever! ICCS 2006: 22-36
11EEBenedikt Löwe: A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. 52(2): 187-189 (2006)
10EES. 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
8EEBenedikt Löwe, Darko Sarenac: Cardinal spaces and topological representations of bimodal logics. Logic Journal of the IGPL 13(3): 301-306 (2005)
7EEBenedikt Löwe: A Global Wellordering of Norms Defined via Blackwell Games. Order 22(2): 85-92 (2005)
6EEKai-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
5EEBenedikt Löwe: Turing cones and set theory of the reals. Arch. Math. Log. 40(8): 651-664 (2001)
4EEBenedikt 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
1EEBenedikt Löwe: Uniform unfolding and analytic measurability. Arch. Math. Log. 37(8): 505-520 (1998)

Coauthor Index

1Thomas Bäck [16]
2Arnold Beckmann [14] [17] [21] [22]
3Edwin J. Beggs [21]
4Ulrich Berger [14]
5Peter van Emde Boas [15]
6Paola Bonizzoni [23]
7Jörg Brendle [2]
8S. Barry Cooper [9] [10] [15] [20] [23]
9Costas Dimitracopoulos [22]
10Sujata Ghosh [19]
11Kai-Uwe Kühnberger [6]
12Michael Möllerfeld [6]
13Dag Normann [10] [17]
14Darko Sarenac [8]
15Erik Scorelle [19]
16Brian Semmes [18]
17Andrea Sorbi [20] [23]
18Leen Torenvliet [9]
19J. V. Tucker (John V. Tucker) [14]
20Philip D. Welch [3] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)