Theory and Applications of Models of Computation
Subtitle: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
By: edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan
Contributors: Lau, Lap Chi; Trevisan, Luca; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7876
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 356
ISBN-13: 9783642382369
Subjects: Mathematical Logic and Formal Languages; Cryptology and Information Theory Data Structures; Information theory; Computer software; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Data structures (Computer science); Theory of Computation; Mathematics of Computing; Computer science
Description: This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.