Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers a

This collection of articles presents a snapshot of the status of computability theory at the end of the millennium and a list of fruitful directions for future

For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as

Computability and complexity theory are two central areas of research in theoretical computer science. This book provides a systematic, technical development of