


default search action
LATA 2021, Milan, Italy
- Alberto Leporati
, Carlos Martín-Vide
, Dana Shapira
, Claudio Zandron
:
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings. Lecture Notes in Computer Science 12638, Springer 2021, ISBN 978-3-030-68194-4
Algebraic Structures
- Fabian Birkmann, Stefan Milius
, Henning Urbat:
On Language Varieties Without Boolean Operations. 3-15 - Valentina Dorigatti, Paolo Massazza:
Partially Directed Animals with a Bounded Number of Holes. 16-28 - Manasi S. Kulkarni, Jayalal Sarma, Janani Sundaresan:
On the Computational Power of Programs over BA2 Monoid. 29-40
Automata
- Sabine Broda
, António Machiavelo
, Nelma Moreira
, Rogério Reis
:
Location Based Automata for Expressions with Shuffle. 43-54 - Sankardeep Chakraborty
, Roberto Grossi
, Kunihiko Sadakane
, Srinivasa Rao Satti
:
Succinct Representations for (Non)Deterministic Finite Automata. 55-67 - Kévin Perrot, Pacôme Perrotin
, Sylvain Sené:
Optimising Attractor Computation in Boolean Automata Networks. 68-80 - Semyon Petrov
, Alexander Okhotin
:
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata. 81-93
Complexity
- Aaron Lye:
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. 97-108 - Hiroki Morizumi:
On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits. 109-117 - Mikhail Mrykhin
, Alexander Okhotin
:
On Hardest Languages for One-Dimensional Cellular Automata. 118-130 - Giovanni Pighizzini
, Branislav Rovan
, Simon Sádovský
:
Usefulness of Information and Unary Languages. 131-142
Learning
- David R. Bélanger, Ziyuan Gao, Sanjay Jain
, Wei Li, Frank Stephan:
Learnability and Positive Equivalence Relations. 145-156 - Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi:
Learning Mealy Machines with One Timer. 157-170
Logics and Languages
- Borzoo Bonakdarpour
, Sarai Sheinvald
:
Finite-Word Hyperlanguages. 173-186 - Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz:
Temporal Logics with Language Parameters. 187-199 - Mamoru Ishizuka, Takahito Aoto
, Munehiro Iwami
:
Commutative Rational Term Rewriting. 200-212 - Takayuki Miyazaki
, Yasuhiko Minamide
:
Context-Free Grammars with Lookahead. 213-225 - K. Subramani, Piotr Wojciechowski:
Tree-Like Unit Refutations in Horn Constraint Systems. 226-237
Trees and Graphs
- Stefano Crespi-Reghizzi
, Pierluigi San Pietro:
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding. 241-254 - Frederic Dörband
, Thomas Feller
, Kevin Stier
:
Approximated Determinisation of Weighted Tree Automata. 255-266 - Frederic Dörband
, Thomas Feller
, Kevin Stier
:
Sequentiality of Group-Weighted Tree Automata. 267-278 - Bastien Sérée, Loïg Jezequel, Didier Lime:
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. 279-290
Words and Strings
- Francesco Dolce, L'ubomíra Dvoráková
, Edita Pelantová:
On Balanced Sequences and Their Asymptotic Critical Exponent. 293-304 - Stefan Hoffmann
:
Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words. 305-317 - Stefan Hoffmann
:
State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets. 318-330 - Julian Pape-Lange
:
Cadences in Grammar-Compressed Strings. 331-342

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.