Theory and Applications of Computability

Otto

Restarting Automata

Restarting Automata

Restarting Automata

The Standard Type of Restarting Automaton and Its Variants

The Standard Type of Restarting Automaton and Its Variants

Fachbuch2024BuchSpringerISBN 978-3-031-70093-4

Pavlovic

Programs as Diagrams

Programs as Diagrams

Programs as Diagrams

From Categorical Computability to Computable Categories

From Categorical Computability to Computable Categories

Fachbuch2023BuchSpringerISBN 978-3-031-34826-6

Dzhafarov / Mummert

Reverse Mathematics

Reverse Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

Fachbuch2023BuchSpringerISBN 978-3-031-11369-7

Pavlovic

Programs as Diagrams

Programs as Diagrams

Programs as Diagrams

From Categorical Computability to Computable Categories

From Categorical Computability to Computable Categories

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-34827-3

Dzhafarov / Mummert

Reverse Mathematics

Reverse Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

2022eBook (PDF mit Wasserzeichen)Springer Nature SwitzerlandISBN 978-3-031-11367-3

Brattka / Hertling

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-59234-9

Longley / Normann

Higher-Order Computability

Higher-Order Computability

Higher-Order Computability

2015eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-662-47992-6

Cooper / Soskova

The Incomputable

The Incomputable

The Incomputable

Journeys Beyond the Turing Barrier

Journeys Beyond the Turing Barrier

2017eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-43669-2

Soare

Turing Computability

Turing Computability

Turing Computability

Theory and Applications

Theory and Applications

2016eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-642-31933-4