Special issue: Selected papers of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015 Foreword

被引：0

作者：

Dediu, Adrian-Horia ^{[1
]}

Martin-Vide, Carlos ^{[1
]}

Truthe, Bianca ^{[2
]}

机构：

[1] Rovira & Virgili Univ, Avinguda Catalunya 35, Tarragona 43002, Spain

[2] Justus Liebig Univ Giessen, Fac 07, Inst Comp Sci, Arndtstr 2, D-35392 Giessen, Germany

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 2019年 / 104卷

关键词：

D O I：

10.1016/j.jcss.2019.05.002

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1 / 4

页数：4

共 20 条

[1] Complexity of regular functions [J].

Allender, Eric ;

Mertz, Ian .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :5-16

[2] Automated synthesis of application-layer connectors from automata-based specifications [J].

Autili, Marco ;

Inverardi, Paola ;

Spalazzese, Romina ;

Tivoli, Massimo ;

Mignosi, Filippo .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :17-40

[3] A Nivat theorem for weighted picture automata and weighted MSO logics [J].

Babari, Parvaneh ;

Droste, Manfred .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :41-57

[4] Recognizable series on graphs and hypergraphs [J].

Bailly, Raphael ;

Rabusseau, Guillaume ;

Denis, Francois .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :58-81

[5] A game characterisation of tree-like Q-Resolution size [J].

Beyersdorff, Olaf ;

Chew, Leroy ;

Sreenivasaiah, Karteek .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :82-101

[6] Recurrence relations, succession rules and the positivity problem [J].

Bilotta, S. ;

Pergola, E. ;

Pinzani, R. ;

Rinaldi, S. .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :102-118

[7] Efficient enumeration of weighted tree languages over the tropical semiring [J].

Bjorklund, Johanna ;

Drewes, Frank ;

Zechner, Niklas .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :119-130

[8] Towards more precise rewriting approximations [J].

Boichut, Yohan ;

Chabin, Jacques ;

Rety, Pierre .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :131-148

[9] Logics for unordered trees with data constraints [J].

Boiret, Adrien ;

Hugot, Vincent ;

Niehren, Joachim ;

Treinen, Ralf .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :149-164

[10] Linking indexing data structures to de Bruijn graphs: Construction and update [J].

Cazaux, Bastien ;

Lecroq, Thierry ;

Rivals, Eric .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2019, 104 :165-183

← 1 2 →