文献
J-GLOBAL ID:201702231886610542
整理番号:17A1426689
ランクなし2次反単一化【Powered by NICT】
Unranked second-order anti-unification
著者 (2件):
Baumgartner Alexander
(Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria)
,
Kutsia Temur
(Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria)
資料名:
Information and Computation
(Information and Computation)
巻:
255
号:
P2
ページ:
262-286
発行年:
2017年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)