Theory and Applications of Computability
A Unified Approach
Fachbuch2025SpringerISBN 978-3-031-92432-3
The Standard Type of Restarting Automaton and Its Variants
Fachbuch2024SpringerISBN 978-3-031-70093-4
From Categorical Computability to Computable Categories
Fachbuch2023SpringerISBN 978-3-031-34826-6
Problems, Reductions, and Proofs
Fachbuch2023SpringerISBN 978-3-031-11369-7
Extensions and Generalizations
eBook (PDF mit Wasserzeichen)2025Springer International PublishingISBN 978-3-031-78701-0
The Standard Type of Restarting Automaton and Its Variants
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-70094-1
From Categorical Computability to Computable Categories
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-34827-3
Problems, Reductions, and Proofs
eBook (PDF mit Wasserzeichen)2022Springer Nature SwitzerlandISBN 978-3-031-11367-3
Brattka / Hertling
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-59234-9
Journeys Beyond the Turing Barrier
eBook (PDF mit Wasserzeichen)2017Springer International PublishingISBN 978-3-319-43669-2
eBook (PDF mit Wasserzeichen)2015Springer Berlin HeidelbergISBN 978-3-662-47992-6
Theory and Applications
eBook (PDF mit Wasserzeichen)2016Springer Berlin HeidelbergISBN 978-3-642-31933-4