Book Details

Theory and Applications of Models of Computation

Publication year: 2006

ISBN: 978-3-540-34022-5

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. Theory and Applications of Models of Computation (TAMC) is an interna-tional conference series with an interdisciplinary character, bringing togetherresearchers working in computer science,mathematics (especially logic) and thephysical sciences. It is this, together with its predominantly computational andcomputability theoretic focus, which gives the series its special character.


Subject: Computer Science, algorithm, algorithms, bioinformatics, complexity, computability, computability theory, computer, computer science, formal method, logic