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