Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
LATA (Conference) (6th : 2012 : La Coruña, Spain)
|
| Titolo: |
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
|
| Link to work: |
Language and automata theory and applications
|
| Pubblicazione: |
Berlin ; New York : Springer, ©2012
|
| Estensione: | 1 online resource (xiv, 552 pages). |
| Tipo formato: | computer |
| Tipo contenuto: | text |
| Tipo supporto: | online resource |
| Disciplina: | 004 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 7183. |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| Genere/Forma: | Electronic books |
| Conference papers and proceedings | |
| Index term-Uncontrolled: | Computer science |
| Computer software | |
| Logic design | |
| Artificial intelligence | |
| Computation by Abstract Devices | |
| Mathematical Logic and Formal Languages | |
| Algorithm Analysis and Problem Complexity | |
| Artificial Intelligence (incl. Robotics) | |
| Logics and Meanings of Programs | |
| Computer Appl. in Social and Behavioral Sciences | |
| Soggetto non controllato: | Computer science |
| Computer software | |
| Logic design | |
| Artificial intelligence | |
| Computation by Abstract Devices | |
| Mathematical Logic and Formal Languages | |
| Algorithm Analysis and Problem Complexity | |
| Artificial Intelligence (incl. Robotics) | |
| Logics and Meanings of Programs | |
| Computer Appl. in Social and Behavioral Sciences | |
| Termine d'indicizzazione-Occupazione: | Computer science |
| Computer software | |
| Logic design | |
| Artificial intelligence | |
| Computation by Abstract Devices | |
| Mathematical Logic and Formal Languages | |
| Algorithm Analysis and Problem Complexity | |
| Artificial Intelligence (incl. Robotics) | |
| Logics and Meanings of Programs | |
| Computer Appl. in Social and Behavioral Sciences | |
| Classificazione LOC: | QA267 .L38 2012 |
| Creatori/Collaboratori: | Horia Dediu, Adrian |
| Martín Vide, Carlos | |
| Contenuto supplementare: | Includes bibliographical references and author index. |
| Restrizioni accesso: | Access is restricted to users affiliated with licensed institutions. |
| Sommario/riassunto: | 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. |
| Collana: | Lecture notes in computer science, 0302-9743 ; 7183 |
| LNCS sublibrary, SL 1, Theoretical computer science and general issues | |
| Varianti del titolo: | LATA 2012 |
| ISBN: | 9783642283321 |
| 3642283322 | |
| 9783642283314 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 004374448 |
| Localizzazioni e accesso elettronico | http://link.springer.com/10.1007/978-3-642-28332-1 |
| Collocazione: | Electronic access |
| Lo trovi qui: | New York University |
Altra ed. diverso supporto:
Printed edition: 9783642283314