文献
J-GLOBAL ID:201202221087042565
整理番号:12A1251166
Matitaインタラクティブ理論証明器におけるプログラミング言語の形式メタ理論
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
著者 (4件):
ASPERTI Andrea
(Univ. of Bologna, Dep. of Computer Sci., Mura Anteo Zamboni, 7, 40127, Bologna, ITA)
,
RICCIOTTI Wilmer
(Univ. of Bologna, Dep. of Computer Sci., Mura Anteo Zamboni, 7, 40127, Bologna, ITA)
,
SACERDOTI COEN Claudio
(Univ. of Bologna, Dep. of Computer Sci., Mura Anteo Zamboni, 7, 40127, Bologna, ITA)
,
TASSI Enrico
(Microsoft Res. - INRIA Joint Centre, Parc Orsay Univ. 28, rue Jean Rostand, 91893, Orsay, FRA)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
49
号:
3
ページ:
427-451
発行年:
2012年10月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)