Logic, Automata, and Computational Complexity : The Works of Stephen A. Cook

Beschreibung:

Neuware - Professor Stephen A. Cook is a pioneer of the theory of computational complexity. Cook won the 1982 Turing Award for ''his advancement of our understanding of the complexity of computation in a significant and profound way.'' This volume includes a selection of seminal papers embodying the work that led to this award. Bestandsnummer des Verkäufers 9798400707773

Diesen Artikel melden

Inhaltsangabe:

Über die Autorin bzw. den Autor:

Bruce M. Kapron Bruce M. Kapron is a Professor in the Computer Science Department at the University of Victoria. He received his Ph.D. from the University of Toronto, under the supervision of Steve Cook, in 1991. His research interests include complexity theory, computability in higher types, cryptography, and logic. He has been a Fellow of the Institute of Advanced Studies of Alma Mater Studorium--Università di Bologna, a Distinguished Professor of the Fondation Sciences Mathématiques de Paris, and has been a long-term visitor at institutions including Carnegie-Mellon University, Stanford University, the Institute for Advanced Study, and the Simons Institute for the Theory of Computing.