Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy, and Computer Science.- Alan Turing, Logical and Physical.- Computability and Numberings.- Computation as Conversation.- Computation Paradigms in Light of Hilbert’s Tenth Problem.- Elementary Algorithms and Their Implementations.- Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science.- Church Without Dogma: Axioms for Computability.- Computability on Topological Spaces via Domain Representations.- On the Power of Broadcasting in Mobile Computing.- Logic, Algorithms and Complexity.- The Computational Power of Bounded Arithmetic from the Predicative Viewpoint.- Effective Uniform Bounds from Proofs in Abstract Functional Analysis.- Effective Fractal Dimension in Algorithmic Information Theory.- Metamathematical Properties of Intuitionistic Set Theories with Choice Principles.- New Developments in Proofs and Computations.- Models of Computation from Nature.- From Cells to (Silicon) Computers, and Back.- Computer Science, Informatics, and Natural Computing-Personal Reflections.- Computable Analysis and Real Computation.- A Survey on Continuous Time Computations.- A Tutorial on Computable Analysis.- A Continuous Derivative for Real-Valued Functions.- Infinite Time Computable Model Theory.
