Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Semyon Petrov, Alexander Okhotin |
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 81-93, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Morizumi |
On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 109-117, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 318-330, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Mrykhin, Alexander Okhotin |
On Hardest Languages for One-Dimensional Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 118-130, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kévin Perrot, Pacôme Perrotin, Sylvain Sené |
Optimising Attractor Computation in Boolean Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 68-80, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David R. Bélanger, Ziyuan Gao, Sanjay Jain 0001, Wei Li 0050, Frank Stephan 0001 |
Learnability and Positive Equivalence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 145-156, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
Usefulness of Information and Unary Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 131-142, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Sérée, Loïg Jezequel, Didier Lime |
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 279-290, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sarai Sheinvald |
Finite-Word Hyperlanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 173-186, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 305-317, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manasi S. Kulkarni, Jayalal Sarma, Janani Sundaresan |
On the Computational Power of Programs over BA2 Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 29-40, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frederic Dörband, Thomas Feller 0001, Kevin Stier |
Approximated Determinisation of Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 255-266, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frederic Dörband, Thomas Feller 0001, Kevin Stier |
Sequentiality of Group-Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 267-278, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Tree-Like Unit Refutations in Horn Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 226-237, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Dolce, L'ubomíra Dvoráková, Edita Pelantová |
On Balanced Sequences and Their Asymptotic Critical Exponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 293-304, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz |
Temporal Logics with Language Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 187-199, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.) |
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-030-68194-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takayuki Miyazaki, Yasuhiko Minamide |
Context-Free Grammars with Lookahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 213-225, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Lye |
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 97-108, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julian Pape-Lange |
Cadences in Grammar-Compressed Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 331-342, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 241-254, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Birkmann, Stefan Milius, Henning Urbat |
On Language Varieties Without Boolean Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 3-15, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Dorigatti, Paolo Massazza |
Partially Directed Animals with a Bounded Number of Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 16-28, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mamoru Ishizuka, Takahito Aoto 0001, Munehiro Iwami |
Commutative Rational Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 200-212, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi 0002 |
Learning Mealy Machines with One Timer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 157-170, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sankardeep Chakraborty, Roberto Grossi, Kunihiko Sadakane, Srinivasa Rao Satti |
Succinct Representations for (Non)Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 55-67, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Location Based Automata for Expressions with Shuffle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, pp. 43-54, 2021, Springer, 978-3-030-68194-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Lye |
Context-Sensitive Fusion Grammars Are Universal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 275-286, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
Complexity Issues of String to Graph Approximate Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 248-259, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Moss |
Simplified Parsing Expression Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 425-436, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Labai, Tomer Kotek, Magdalena Ortiz 0001, Helmut Veith |
Pebble-Intervals Automata and FO2 with Two Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 208-221, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud |
Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 17-32, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
How to Prove that a Language Is Regular or Star-Free? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 68-88, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Susanna Donatelli, Serge Haddad |
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 170-183, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place |
Deciding Classes of Regular Languages: The Covering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 89-112, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jeffery Dick, Laura K. Hutchinson, Robert Mercas, Daniel Reidenbach |
Reducing the Ambiguity of Parikh Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 397-411, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eric Allender |
The New Complexity Landscape Around Circuit Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 3-16, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Berdinsky, Prohrak Kruengthomya |
Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 115-127, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 341-353, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Bès, Christian Choffrut |
$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 128-140, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Bhaskar, Jane Chandlee, Adam Jardine, Christopher Oakden |
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 157-169, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen |
On Collapsing Prefix Normal Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 412-424, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Complexity of Automatic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 260-271, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel |
The Automatic Baire Property and an Effective Property of ømega-Rational Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 303-314, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jing Ji, Jeffrey Heinz |
Input Strictly Local Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 369-381, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet Utkan Gezer |
Windable Heads and Recognizing NL with Constant Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 184-195, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.) |
Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-030-40607-3 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Amano |
On the Size of Depth-Two Threshold Circuits for the Inner Product Mod 2 Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 235-247, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Klíma 0001, Peter Kostolányi |
Geometrically Closed Positive Varieties of Star-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 328-340, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase |
Approaching Arithmetic Theories with Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 33-43, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky 0001 |
On the Weisfeiler-Leman Dimension of Fractional Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 357-368, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin, Alexey Sorokin |
Cyclic Shift on Multi-component Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 287-299, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bonizzoni, Clelia De Felice, Rocco Zaccagnino, Rosalba Zizza |
Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 385-396, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Grosshans |
The Power of Programs over Monoids in [inline-graphic not available: see fulltext]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 315-327, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Artur Jez |
Recompression: Technique for Word Equations and Compressed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 44-67, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chris Keeler, Kai Salomaa |
Alternating Finite Automata with Limited Universal Branching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 196-207, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ahmet Bilal Uçan |
Limited Two-Way Deterministic Finite Automata with Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 222-232, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean Néraud |
Complete Variable-Length Codes: An Excursion into Word Edit Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 437-448, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Gao, Sanjay Jain 0001, Ji Qi, Philipp Schlicht, Frank Stephan 0001, Jacob Tarr |
Ordered Semiautomatic Rings with Applications to Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 141-153, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Fenner, Daniel Padé |
Complexity of Regex Crosswords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 215-230, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Charlier, Svetlana Puzynina, Élise Vandomme |
Recurrence in Multidimensional Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 397-408, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ahad N. Zehmakan |
Tight Bounds on the Minimum Size of a Dynamic Monopoly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 381-393, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Meer, Ameen Naif |
Automata over Infinite Sequences of Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 121-133, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Becker, Klaus Sutner |
Orbits of Abelian Automaton Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 70-81, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Rytter, Wiktor Zuba |
Syntactic View of Sigma-Tau Generation of Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 447-459, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau |
Modern Aspects of Complexity Within Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 3-30, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.) |
Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-030-13434-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir A. Zakharov |
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 146-158, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca |
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 95-107, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Dubernard, Giovanna Guaiana, Ludovic Mignot |
Geometrical Closure of Binary V_3/2 Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 302-314, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Iovka Boneva, Joachim Niehren, Momar Sakho |
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 343-355, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Zakirzyanov, António Morgado 0001, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva 0001 |
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 159-173, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery |
Closure and Nonclosure Properties of the Compressible and Rankable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 177-189, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Rule-Based Unification in Combined Theories and the Finite Variant Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 356-367, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Klíma 0001, Libor Polák |
On Varieties of Ordered Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 108-120, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kalpana Mahalingam, Palak Pandoh |
On the Maximum Number of Distinct Palindromic Sub-arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 434-446, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
Generalized Register Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 259-271, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Galina Jirásková, Ondrej Klíma 0001 |
Deterministic Biautomata and Subclasses of Deterministic Linear Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 315-327, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vadim V. Lozin |
From Words to Graphs, and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 43-54, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Berthold Hoffmann, Mark Minas |
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 233-245, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alex Bishop, Murray Elder |
Bounded Automata Groups are co-ET0L. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 82-94, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Cordero |
A Note with Computer Exploration on the Triangle Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 409-420, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Müllner, Andrew Ryzhikov |
Palindromic Subsequences in Finite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 460-468, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Transformation of Petri Nets into Context-Dependent Fusion Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 246-258, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 134-145, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Malek Anabtawi, Sabit Hassan, Christos A. Kapoutsis, Mohammad Zakzok |
An Oracle Hierarchy for Small One-Way Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 57-69, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Linard, Colin de la Higuera, Frits W. Vaandrager |
Learning Unions of k-Testable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 328-339, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Extensions of the Caucal Hierarchy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 368-380, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee |
Observation and Interaction - Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 31-42, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amazigh Amrane, Nicolas Bedon |
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 275-287, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari, Timothy Ng 0001 |
State Complexity of Pseudocatenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 203-214, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen, Wiktor Zuba |
Efficient Representation and Counting of Antipower Factors in Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 421-433, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Maria Madonia, Carla Selmi |
Toroidal Codes and Conjugate Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 288-301, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Michal Hospodár |
The Range of State Complexities of Languages Resulting from the Cut Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 190-202, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin, Elizaveta Sazhneva |
Formal Languages over GF(2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 68-79, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gerdjikov |
A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 143-155, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Uli Schlachter |
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 296-307, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
On Periodicity Lemma for Partial Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 232-244, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Asinowski, Axel Bacher, Cyril Banderier, Bernhard Gittenberger |
Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 195-206, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin |
Underlying Principles and Recurring Ideas of Formal Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 36-59, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|