书目名称 | Theory and Applications of Models of Computation |
副标题 | 5th International Co |
编辑 | Manindra Agrawal,Dingzhu Du,Angsheng Li |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi‘an, China in April 2008...The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.. |
出版日期 | Conference proceedings 2008 |
关键词 | Bisimulation; Permutation; algorithms; automata; complexity; computability; computational biology; computat |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-540-79228-4 |
isbn_softcover | 978-3-540-79227-7 |
isbn_ebook | 978-3-540-79228-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2008 |