Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015
From MaRDI portal
Publication:2424669
DOI10.1016/j.jcss.2019.05.002zbMath1423.68020OpenAlexW2953750825WikidataQ127727886 ScholiaQ127727886MaRDI QIDQ2424669
No author found.
Publication date: 25 June 2019
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2019.05.002
Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cites Work
- Complexity of regular functions
- Automated synthesis of application-layer connectors from automata-based specifications
- A Nivat theorem for weighted picture automata and weighted MSO logics
- Recognizable series on graphs and hypergraphs
- A game characterisation of tree-like Q-resolution size
- Recurrence relations, succession rules and the positivity problem
- Efficient enumeration of weighted tree languages over the tropical semiring
- Towards more precise rewriting approximations
- Logics for unordered trees with data constraints
- Linking indexing data structures to de Bruijn graphs: construction and update
- Sorting networks: to the end and back again
- Bounding clique-width via perfect graphs
- Two parallel algorithms for finding all minimal maximum subsequences
- Insertion operations on deterministic reversal-bounded counter machines
- Coverability and multi-scale coverability on infinite pictures
- One-variable context-free hedge automata
- Classifying invariant structures of step traces
- Derivatives and partial derivatives for regular shuffle expressions
- Complexity of road coloring with prescribed reset words
- Distributional learning of conjunctive grammars and contextual binary feature grammars
This page was built for publication: Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015