TY - BOOK AU - Gąsieniec,Leszek AU - Wolter,Frank ED - SpringerLink (Online service) TI - Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642401640 AV - QA75.5-76.95 U1 - 004.0151 23 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer Science KW - Information theory KW - Computational complexity KW - Theory of Computation KW - Discrete Mathematics in Computer Science N2 - This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields UR - http://dx.doi.org/10.1007/978-3-642-40164-0 ER -