Vai al contenuto principale della pagina

Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Edizione: 1st ed. 2019.
Descrizione fisica: 1 online resource (XVII, 470 p. 684 illus., 17 illus. in color.)
Disciplina: 005.1015113
Soggetto topico: Computer science
Algorithms
Machine theory
Logic programming
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Logic in AI
Discrete Mathematics in Computer Science
Persona (resp. second.): Martín-VideCarlos
OkhotinAlexander
ShapiraDana
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes.
Sommario/riassunto: This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.
Titolo autorizzato: Language and Automata Theory and Applications  Visualizza cluster
ISBN: 3-030-13435-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910337571603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 11417
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn