| 书目名称 | Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 | | 副标题 | IFIP 19th World Comp | | 编辑 | Gonzalo Navarro,Leopoldo Bertossi,Yoshiharu Kohaya | | 视频video | | | 概述 | Presents the most current research in Information and Communication Technologies.Includes supplementary material: | | 丛书名称 | IFIP Advances in Information and Communication Technology | | 图书封面 |  | | 描述 | The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume | | 出版日期 | Conference proceedings 2006 | | 关键词 | Automat; algorithms; artificial intelligence; automata; computer; computer science; model checking | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-387-34735-6 | | isbn_softcover | 978-1-4899-9050-1 | | isbn_ebook | 978-0-387-34735-6Series ISSN 1868-4238 Series E-ISSN 1868-422X | | issn_series | 1868-4238 | | copyright | IFIP International Federation for Information Processing 2006 |
The information of publication is updating
|
|
发表于 2025-3-21 19:25:43
