文献
J-GLOBAL ID:201802220134128283
整理番号:18A1575707
再帰的データ構造の帰納的性質を自動的に解析する【JST・京大機械翻訳】
Automatically Analyzing Inductive Properties for Recursive Data Structures
著者 (4件):
Tang Zhenhao
(南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
,
Li Bin
(南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
,
Di Juan
(南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
,
Zhao Jianhua
(南京大学計算机科学与技術系,江蘇南京210023;計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
29
号:
6
ページ:
1527-1543
発行年:
2018年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)