すべて 2023 2022 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 その他
すべて 雑誌論文 学会発表 図書
Theoretical Computer Science
巻: 953 ページ: 113429-113429
10.1016/j.tcs.2022.06.010
アカデミア. 理工学編 : 南山大学紀要
巻: 22 ページ: 124-132
10.15119/00003946
https://nanzan-u.repo.nii.ac.jp/records/4042
New Generation Computing
巻: 40 号: 2 ページ: 467-480
10.1007/s00354-022-00169-z
Electronic Proceedings in Theoretical Computer Science
巻: 373 ページ: 1-13
10.4204/eptcs.373.1
巻: 未定 ページ: 46-63
10.1016/j.tcs.2022.02.024
Discrete Mathematics, Algorithms and Applications
巻: 13 号: 02 ページ: 2150023-2150023
10.1142/s1793830921500233
Formal Methods. FM 2019 International Workshops (FM 2019), Lecture Notes in Computer Science
巻: 12233 ページ: 413-427
10.1007/978-3-030-54997-8_26
Information Processing Letters
巻: 147 ページ: 32-37
10.1016/j.ipl.2019.03.002
電子情報通信学会論文誌D 情報・システム
巻: J102-D 号: 3 ページ: 130-140
10.14923/transinfj.2018PDP0021
巻: J101-D 号: 9 ページ: 1372-1375
10.14923/transinfj.2018JDL8008
IEICE Transactions on Information and Systems
巻: E100.D 号: 5 ページ: 1026-1034
10.1587/transinf.2016EDP7274
130005631650
コンピュータ ソフトウェア
巻: 33 号: 3 ページ: 3_108-3_128
10.11309/jssst.33.3_108
130005256733
巻: 611 ページ: 87-115
10.1016/j.tcs.2015.07.046
Lecture Notes in Computer Science
巻: 9458 ページ: 407-426
10.1007/978-3-319-26529-2_22
情報処理学会論文誌：プログラミング
巻: 7-4 ページ: 21-36
110009818007
ACM Journal on Emerging Technologies in Computing Systems
巻: 11 号: 2 ページ: 1-15
10.1145/2629532
Journal of Multiple-Valued Logic and Soft Computing
巻: (掲載確定)
Journal ofMultiple-Valued Logic and SoftComputing
巻: Vol.18, No.1 ページ: 5-24
