Languages
Cooper, S. Barry.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
The incomputable = journeys beyond the Turing barrier /
by:
Cooper, S. Barry.; Soskova, Mariya I.; SpringerLink (Online service)
(Electronic resources)
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.; Dawar, Anuj.; Lowe, Benedikt.; SpringerLink (Online service)
(Electronic resources)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
Agrawal, Manindra.; Cooper, S. Barry.; Li, Angsheng.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Philosophy.
Quantum Computing, Information and Physics.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Mathematical Logic and Formal Languages.
Unsolvability (Mathematical logic)
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computable functions.
Computer science- Mathematics
Computational complexity
Computable functions
Computer Science.
Math Applications in Computer Science.
Turing machines
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.