TY - DATA AU - Kozen,Dexter C. ED - SpringerLink (Online service) TI - Theory of Computation T2 - Texts in Computer Science SN - 9781846284779 PY - 2006/// CY - London PB - Springer-Verlag London Limited KW - Computer Science KW - Computer sciencexMathematics KW - Computer software KW - Information theory KW - Algorithm Analysis and Problem Complexity KW - Computation by Abstract Devices KW - Computational Mathematics and Numerical Analysis KW - Computational Science and Engineering KW - Theory of Computation UR - http://dx.doi.org/10.1007/1-84628-477-5 ER -