Sciweavers

12289 search results - page 129 / 2458
» computing 2006
Sort
View
ENTCS
2006
110views more  ENTCS 2006»
15 years 3 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer