The Incomputable

Theory and Applications of Computability (Series)

S. Barry Cooper Editor
Mariya I. Soskova Editor
(2017)

Handbook of Computability and...

Theory and Applications of Computability (Series)

Vasco Brattka Editor
Peter Hertling Editor
(2021)

Higher-Order Computability

Theory and Applications of Computability (Series)

John Longley Author
Dag Normann Author
(2015)

Programs as Diagrams

Theory and Applications of Computability (Series)

Dusko Pavlovic Author
(2023)

Restarting Automata

Theory and Applications of Computability (Series)

Friedrich Otto Author
(2024)

Restarting Automata

Theory and Applications of Computability (Series)

Friedrich Otto Author
(2025)