Development in Language Theory [[electronic resource] ] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / / edited by Giancarlo Mauri, Alberto Leporati
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Development in Language Theory [[electronic resource] ] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / / edited by Giancarlo Mauri, Alberto Leporati
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Edizione: | 1st ed. 2011. |
| Descrizione fisica: | 1 online resource (XIV, 482 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Algorithms |
| Computer science | |
| Machine theory | |
| Computer science—Mathematics | |
| Discrete mathematics | |
| Artificial intelligence | |
| Theory of Computation | |
| Formal Languages and Automata Theory | |
| Discrete Mathematics in Computer Science | |
| Computer Science Logic and Foundations of Programming | |
| Artificial Intelligence | |
| Persona (resp. second.): | MauriGiancarlo |
| LeporatiAlberto | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and author index. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, held in Milano, Italy, in July 2011. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 5 invited speakers, as well as a 2-page abstract for each of the 7 poster papers. The topics covered include grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; codes; symbolic dynamics; algorithmic, combinatorial and algebraic properties of words and languages; decidability questions; applications of language theory, including: natural computing, image manipulation and compression, text algorithms, cryptography, concurrency, complexity theory and logic; cellular automata and multidimensional patterns; language theory aspects of quantum computing and bio-computing. |
| Titolo autorizzato: | Development in Language Theory |
| ISBN: | 3-642-22321-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465472903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 6795