Recursion Theory and Computational Complexity
By: edited by G. Lolli
Contributors: SpringerLink (Online service)
Series: C.I.M.E. Summer Schools -- 79
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
ISBN-13: 9783642110719; 9783642110726
Subjects: Mathematics; Symbolic and mathematical Logic