文献
J-GLOBAL ID:201702233484250226
整理番号:17A0953885
ユニバーサル不変量の特性駆動型推論またはそれらが存在しないことの証明
Property-Directed Inference of Universal Invariants or Proving Their Absence
著者 (5件):
KARBYSHEV Aleksandr
(Aarhus Univ.)
,
BJORNER Nikolaj
(Microsoft Res.)
,
ITZHAKY Shachar
(Massachusetts Inst. of Technol.)
,
RINETZKY Noam
(Tel Aviv Univ.)
,
SHOHAM Sharon
(Tel Aviv Univ.)
資料名:
Journal of the ACM (Association for Computing Machinery)
(Journal of the ACM (Association for Computing Machinery))
巻:
64
号:
1
ページ:
7:1-7:33
発行年:
2017年
JST資料番号:
C0267A
ISSN:
0004-5411
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)