|
南出靖彦 2016年 研究業績一覧 (3件 / 22件)
論文
-
Yasuhiko Minamide.
Weighted Pushdown Systems with Indexed Weight Domains,
Logical Methods in Computer Science,
International Federation of Computational Logic,
Vol. 12,
2,
June 2016.
-
Uezato, Y.,
Yasuhiko Minamide.
Monoid-based approach to the inclusion problem on superdeterministic pushdown automata,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Vol. 9840,
pp. 393-405,
2016.
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|