Penulis: Steven Homer

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, wi …

The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computa- tions and the efficiency of the computation …

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five …