Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dediu, Adrian-Horia (Επιμελητής έκδοσης), Formenti, Enrico (Επιμελητής έκδοσης), Martín-Vide, Carlos (Επιμελητής έκδοσης), Truthe, Bianca (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 8977
• Θέματα: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Symbolic and Algebraic Manipulation.; Discrete Mathematics in Computer Science.; Artificial Intelligence (incl. Robotics).

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submiss...

Πίνακας περιεχομένων:

• Algorithms
• Automata, Logic, and Concurrency
• Codes, Semigroups, and Symbolic Dynamics
• Combinatorics on Words
• Complexity and Recursive Functions
• Compression, Inference, Pattern Matching, and Model Checking
• Graphs, Term Rewriting, and Networks
• Transducers, Tree Automata, and Weighted Automata.