文献

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)

タイトルに関連する用語 (5件)： 理論 ,  証明 ,  プログラミング言語 ,  形式 ,  メタ理論