文献

J-GLOBAL ID：201102228790534892   整理番号：11A0000018

二階μ計算のための対応物意味論

Counterpart Semantics for a Second-Order μ-Calculus

著者 (3件)： GADDUCCI Fabio (Univ. Pisa, ITA) ,  LAFUENTE Alberto Lluch (IMT Inst. for Advanced Studies Lucca, ITA) ,  VANDIN Andrea (IMT Inst. for Advanced Studies Lucca, ITA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6372  ページ： 282-297  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 計算 ,  意味論