Search Results - Löwe, Benedikt

Benedikt Löwe

Benedikt Löwe in [[Prague]], August 2019 Benedikt Löwe

(born 1972) is a German mathematician and logician working at the universities of Hamburg and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''Computability in Europe'' (CiE; since 2005). Provided by Wikipedia
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    The nature of computation: logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; proceedings

    Other Authors: “…Löwe, Benedikt…”

    Get full text
    Conference Paper


    Saved in:
  2. 2
    Cover Image

    Special issue: computability in Europe 2009: [... Conference CiE 2009: mathematical theory and computational practice ... Fifth Conference on Computability in Europe ... Heidelberg...

    Other Authors: “…Löwe, Benedikt…”

    Get full text
    Conference Paper


    Saved in:
  3. 3
    Cover Image

    Computability in Europe 2009 by Beckmann, Arnold (Author) , Merkle, Wolfgang (Author) , Löwe, Benedikt (Author) ,


    Get full text
    Article (Journal) Online Resource


    Saved in:
  4. 4
    Cover Image

    Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

    Other Authors: “…Löwe, Benedikt…”

    Get full text
    Conference Paper Online Resource


    Saved in:
  5. 5
    Cover Image

    Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 ; proceedings

    Other Authors: “…Löwe, Benedikt…”

    Get full text
    Conference Paper


    Saved in:

Search Tools: