Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar12th LATA 2018: Ramat Gan, Israel
Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira:
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Lecture Notes in Computer Science 10792, Springer 2018, ISBN 978-3-319-77312-4- Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin, Elizaveta Sazhneva:
Formal Languages over GF(2). 68-79 - Maris Valdats:
Descriptional and Computational Complexity of the Circuit Representation of Finite Automata. 105-117 - Stefan Gerdjikov:
A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers. 143-155 - Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf:
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. 156-168 - Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager:
Model Learning as a Satisfiability Modulo Theories Problem. 182-194 - Andrei Asinowski, Axel Bacher, Cyril Banderier, Bernhard Gittenberger:
Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects. 195-206 - Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi:
Bubble-Flip - A New Generation Algorithm for Prefix Normal Words. 207-219 - Murray Elder, Yoong Kuan Goh:
Permutations Sorted by a Finite and an Infinite Stack in Series. 220-231 - Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
On Periodicity Lemma for Partial Words. 232-244 - Dmitry Berdinsky, Phongpitak Trakuldit:
Measuring Closeness Between Cayley Automatic Groups and Automatic Groups. 245-257 - Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux:
Pomsets and Unfolding of Reset Petri Nets. 258-270 - Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
Timed Comparisons of Semi-Markov Processes. 271-283 - Markus Saers, Dekai Wu:
Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring. 284-295 - Christoph Teichmann, Antoine Venant, Alexander Koller:
Efficient Translation with Linear Bimorphisms. 308-320
maintained by 
at 
at 
last updated on 2018-07-17 20:44 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint