| 书目名称 | Language and Automata Theory and Applications | | 副标题 | 6th International Co | | 编辑 | Adrian-Horia Dediu,Carlos Martín-Vide | | 视频video | | | 概述 | Fast track conference proceedings.Unique visibility.State of the art research | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition. | | 出版日期 | Conference proceedings 2012 | | 关键词 | dynamical systems; formal languages; model checking; numerical constraints; regular expressions; algorith | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-28332-1 | | isbn_softcover | 978-3-642-28331-4 | | isbn_ebook | 978-3-642-28332-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag GmbH Berlin Heidelberg 2012 |
The information of publication is updating
|
|
发表于 2025-3-21 19:55:17
