Logical Approaches to Computational Barriers
Subtitle: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540354680
Subjects: Computable functions; Computer science, mathematics; Computational complexity