Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
tarafından
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
Başlık
:
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Yazar
:
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
ISBN
:
9783030134358
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XVII, 470 p. 684 illus., 17 illus. in color. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 11417
İçindekiler
:
Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes.
Özet
:
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.
Konu Başlığı
:
Computer logic.
Algorithms.
Mathematical logic.
Artificial intelligence.
Computer science—Mathematics.
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product-market-codes/I16021
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048
Logic in AI. https://scigraph.springernature.com/ontologies/product-market-codes/I21020
Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product-market-codes/I17028
Yazar Ek Girişi
:
Martín-Vide, Carlos.
Okhotin, Alexander.
Shapira, Dana.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428739-1001 | QA76.9 .L63 | Springer E-Book Collection |