About this book series
Books published in this series will be of interest to the research community and graduate students, with a unique focus on issues of computability. The perspective of the series is multidisciplinary, recapturing the spirit of Turing by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, and the philosophy of science.The series includes research monographs, advanced and graduate texts, and books that offer an original and informative view of computability and computational paradigms.
- Electronic ISSN
- 2190-6203
- Print ISSN
- 2190-619X
- Series Editor
-
- Laurent Bienvenu,
- Paola Bonizzoni,
- Vasco Brattka,
- Elvira Mayordomo,
- Prakash Panangaden
Book titles in this series
-
-
Restarting Automata
The Standard Type of Restarting Automaton and Its Variants
- Authors:
-
- Friedrich Otto
- Copyright: 2025
Available Renditions
- Hard cover
- eBook
-
Programs as Diagrams
From Categorical Computability to Computable Categories
- Authors:
-
- Dusko Pavlovic
- Copyright: 2023
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Reverse Mathematics
Problems, Reductions, and Proofs
- Authors:
-
- Damir D. Dzhafarov
- Carl Mummert
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Handbook of Computability and Complexity in Analysis
- Editors:
-
- Vasco Brattka
- Peter Hertling
- Copyright: 2021
Available Renditions
- Hard cover
- Soft cover
- eBook
Abstracted and indexed in
-
- DBLP