„computability“

Suchergebnisse

457 Treffer

• Order-theoretic models for decision-making: learning, optimization, complexity and computation
  Hack, Pedro 2024 Universität Ulm
• Aspects of Forcing in Descriptive Set Theory and Computability Theory
  Wansner, Lucas ; Löwe, Benedikt 2023 Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
• Computability in constructive type theory
  Forster, Yannick ; Smolka, Gert 2021 Saarländische Universitäts- und Landesbibliothek
• Mathematical Pluralism: Constructive Mathematics and Economic Theory
  Steins, Stefan Arno ; Niebergall, Karl-Georg ; Friend, Michèle 2021 Humboldt-Universität zu Berlin
• On some Geometric Search Problems – Algorithms, Complexity, Computability
  Kübel, David 2020 Universitäts- und Landesbibliothek Bonn
• Computable Functional Analysis and Probabilistic Computability
  Bosserhoff, Volker ; Hertling, Peter ; Brattka, Vasco ; Greither, Cornelius ; Schäffler, Stefan 2008 Universitätsbibliothek der Universität der Bundeswehr München
• Three models of ordinal computability
  Seyfferth, Benjamin 2013 Universitäts- und Landesbibliothek Bonn
• Computability of Julia sets
  Braverman, Mark ; Yampolsky, Michael 2009 Springer
• On the computability of the Frechet distance between triangulated surfaces – = Über die Berechenbarkeit des Frechet-Abstands zwischen triangulierten Flächen
  Buchin, Maike
• Computability and fractal dimension
  Reimann, Jan
• Mathematical Theory and Computational Practice – 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  Ambos-Spies, Klaus 2009 Springer Berlin Heidelberg
• Membrane Computing – 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
  Gheorghe, Marian ; Paun, Gheroghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Verlan, Sergey 2012 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
  Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. ˜deœ 2014 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
• Membrane Computing – 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
  Csuhaj-Varjú, Erzsébet ; Gheorghe, Marian ; Rozenberg, Grzegorz ; Salomaa, Arto ; Vaszil, György 2013 Springer Berlin Heidelberg
• Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
• How the World Computes – Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
  Cooper, Stuart B. ; Dawar, Anuj ; Löwe, Benedikt 2012 Springer Berlin Heidelberg
• Combinatorics, Computability and Logic – Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
  Calude, Cristian 2001 Springer London
• Models of Computation in Context – 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
  Löwe, Benedikt ; Normann, Dag ; Soskov, Ivan ; Soskova, Alexandra 2011 Springer Berlin Heidelberg
• Fundamentals of Computation Theory – 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  Owe, Olaf ; Steffen, Martin ; Telle, Jan Arne 2011 Springer Berlin Heidelberg