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
https://doi.org/10.1007/978-3-030-13435-8


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book428739-1001QA76.9 .L63Springer E-Book Collection