Theory and Applications of Computability
The Standard Type of Restarting Automaton and Its Variants
Fachbuch2024SpringerISBN 978-3-031-70093-4
Extensions and Generalizations
Fachbuch2025SpringerISBN 978-3-031-78700-3
From Categorical Computability to Computable Categories
Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-34829-7
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
Fachbuch2023SpringerISBN 978-3-031-34826-6
Problems, Reductions, and Proofs
Fachbuch2023SpringerISBN 978-3-031-11369-7
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