Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li.

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-540-79228-4

Informatique

Bioinformatique

Algorithmes

Complexité de calcul (informatique)

Ordinateurs

Fonctions calculables

Classification Dewey : 004

Collection : Theoretical computer science and general issues / Berlin : Springer , [2006?]-

Résumé / Abstract : 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.