|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnold Beckmann, Benedikt Löwe |
Computability in Europe 2008.  |
J. Log. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe |
Computability in Europe 2009. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo |
Computability in Europe 2010. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe |
Computability in Europe 2009. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Benedikt Löwe |
Computability in Europe 2008. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Thomas Müller |
Data and phenomena in conceptual modelling. |
Synthese |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Eric Pacuit, Andreas Witzel |
DEL Planning and Some Tractable Cases. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Dégremont, Benedikt Löwe, Andreas Witzel |
The synchronicity of dynamic epistemic logic. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (eds.) |
Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe |
Computability in Europe 2008. |
Arch. Math. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.) |
Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers |
LOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.) |
Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings |
CiE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi |
Foreword. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Benedikt Löwe, Andrea Sorbi |
Logic and Computation in the Real World: CiE 2007. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi |
Preface. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.) |
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers |
ILC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.) |
Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings |
CiE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe |
From Gödel to Einstein: Computability between logic and physics at CiE 2006. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Benedikt Löwe |
Computability in Europe 2006. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.) |
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings |
CiE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Bäck, Benedikt Löwe |
Computing and the natural sciences at CiE 2005. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Benedikt Löwe, Dag Normann |
Logical Approaches to Computational Barriers: CiE 2006. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Brian Semmes |
The Extent of Constructive Game Labellings. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas |
Theory of Computation at CiE 2005. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Benedikt Löwe, Erik Scorelle |
Belief Flow in Assertion Networks. |
ICCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) |
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings |
CiE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Löwe |
A parametrised choice principle and Martin's conjecture on Blackwell determinacy. |
Math. Log. Q. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Benedikt Löwe, Dag Normann |
Mathematics of computing at CiE 2005. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe |
Set Theory With and Without Urelements and Categories of Interpretations. |
Notre Dame Journal of Formal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Löwe |
Revision Forever! |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe |
Space Bounds for Infinitary Computation. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.) |
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings |
CiE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Löwe, Darko Sarenac |
Cardinal spaces and topological representations of bimodal logics. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch |
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
Revision Theory, Circular Definitions, Inductive definitions |
| 1 | Benedikt Löwe |
A Global Wellordering of Norms Defined via Blackwell Games. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Martin’s conjecture on the equivalence of determinancy and Blackwell determinancy, prewellorderings, imperfect information games, First Periodicity Theorem |
| 1 | S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) |
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings |
CiE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Löwe, Philip D. Welch |
Set-Theoretic Absoluteness and the Revision Theory of Truth. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe |
Revision Sequences and Computers with an Infinite Amount of Time. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe |
Turing cones and set theory of the reals. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000):03D28, 03E60, 03D65, 03E50, 03E15 |
| 1 | Jörg Brendle, Benedikt Löwe |
Solovay-Type Characterizations for Forcing-Algebras. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Löwe |
Uniform unfolding and analytic measurability. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991): 03E15, 28A05, 90D44 |
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")