Journal of Computer and System Sciences （JCSS） - Volume 104 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 104 |
| 发布时间： September 2019 |
| 卷期年份： 2019 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/104/suppl/C |
本期论文列表
Editorial Board
Special issue: Selected papers of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015
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