Languages
Lowe, Benedikt.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Classical and new paradigms of computation and their complexity hierarchies = papers of the conference "Foundations of the Formal Sciences III" /
by:
Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service); Foundations of the Formal Sciences (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:
Beckmann, Arnold.; Dimitracopoulos, Costas.; Lowe, Benedikt.; SpringerLink (Online service); Conference on Computability in Europe (2008 :)
(Language materials, printed)
Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
by:
Bonanno, Giacomo.; Hoek, Wiebe van der.; Lowe, Benedikt.; SpringerLink (Online service)
(Language materials, printed)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; 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:
Cooper, S. Barry.; Lowe, Benedikt.; SpringerLink (Online service); Dawar, Anuj.
(Electronic resources)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
Cooper, S. B.; Lowe, Benedikt.; Torenvliet, Leen.; SpringerLink (Online service); Conference on Computability in Europe (2005 :)
(Language materials, printed)
Subjects
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Foundations.
Philosophy.
Quantum Computing, Information and Physics.
Mathematical Logic and Formal Languages.
Bioinformatics.
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Algorithms
Computation by Abstract Devices.
Algorithms.
Computable functions.
Computational complexity
Computable functions
Computer science- Mathematics
Computable functions- Congresses.
Logic, Symbolic and mathematical- Congresses.
Functions of complex variables- Congresses.
Game theory
Computer Science.
Math Applications in Computer Science.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computational intelligence- Congresses.
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.