Languages
Lowe, Benedikt.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Sorbi, Andrea.; SpringerLink (Online service); Lowe, Benedikt.; Cooper, S. Barry.
(Language materials, printed)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Bonizzoni, Paola.; Brattka, Vasco.; SpringerLink (Online service)
(Language materials, printed)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
SpringerLink (Online service); Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Dimitracopoulos, Costas.; Beckmann, Arnold.; SpringerLink (Online service)
(Language materials, printed)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
SpringerLink (Online service); Cooper, S. Barry.; Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dawar, Anuj.
(Language materials, printed)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Torenvliet, Leen.; Lowe, Benedikt.; SpringerLink (Online service); Cooper, S. B.
(Language materials, printed)
Classical and new paradigms of computation and their complexity hierarchies = papers of the conference "Foundations of the Formal Sciences III" /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Computable functions
Bioinformatics.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.
Computational intelligence
Theory of Computation.
Computing Methodologies.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computational complexity
Computer Science.
Computational Biology/Bioinformatics.
Algorithms.
Computable functions.
Mathematical Logic and Foundations.
Computer science
Logics and Meanings of Programs.
Philosophy.
Quantum Computing, Information and Physics.
Computation by Abstract Devices.
Functions of complex variables
Algorithms
Logic, Symbolic and mathematical