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
Bioinformatics.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Algorithms.
Computable functions.
Mathematical Logic and Foundations.
Computer science
Logics and Meanings of Programs.
Functions of complex variables
Computing Methodologies.
Philosophy.
Computable functions
Algorithm Analysis and Problem Complexity.
Computational intelligence
Mathematics of Computing.
Computer Science.
Algorithms
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computational complexity
Computational Biology/Bioinformatics.
Quantum Computing, Information and Physics.
Computation by Abstract Devices.