论文部分内容阅读
Theory and Applications of Models of Computation (TAMC) is an intational conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic) and the physical sciences. This interdisciplinary character with an emphasis on the theory of computation in a broad sense gives the series its special character.