文献
J-GLOBAL ID:201802276831928138
整理番号:18A1728490
効率的テンプレートベース非線形不変合成のための一般化均質多項式【JST・京大機械翻訳】
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis
著者 (3件):
Kojima Kensuke
(Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan)
,
Kinoshita Minoru
(Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan)
,
Suenaga Kohei
(Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
747
ページ:
33-47
発行年:
2018年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)