年別の研究成果
年別の研究成果
検索結果
-
2020
An extension of linear-size suffix tries for parameterized strings
Nakashima, K., Hendrian, D., Yoshinaka, R. & Shinohara, A., 2020, In: CEUR Workshop Proceedings. 2568, p. 97-108 12 p.研究成果: Conference article › 査読
1 被引用数 (Scopus) -
AOBA: An Online Benchmark tool for Algorithms in stringology
Wakimoto, R., Kobayashi, S., Igarashi, Y., Jargalsaikhan, D., Hendrian, D., Yoshinaka, R. & Shinohara, A., 2020, In: CEUR Workshop Proceedings. 2568, p. 1-12 12 p.研究成果: Conference article › 査読
-
2019
Query learning algorithm for residual symbolic finite automata
Chubachi, K., Hendrian, D., Yoshinaka, R. & Shinohara, A., 2019 9月 18, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 305, p. 140-153 14 p.研究成果: Conference article › 査読
Open Access2 被引用数 (Scopus) -
2016
QBF encoding of generalized tic-Tac-Toe
Diptarama, Yoshinaka, R. & Shinohara, A., 2016 1月 1, In: CEUR Workshop Proceedings. 1719, p. 14-26 13 p.研究成果: Conference article › 査読
4 被引用数 (Scopus) -
2005
Higher-order matching in the linear lambda calculus in the absence of constants is NP-complete
Yoshinaka, R., 2005 9月 26, In: Lecture Notes in Computer Science. 3467, p. 235-249 15 p.研究成果: Conference article › 査読
18 被引用数 (Scopus)