文献

J-GLOBAL ID：201102241442377127   整理番号：11A1089940

遷移的および有限遷移的フレーム上でのμ計算について

On the μ-calculus over transitive and finite transitive frames

著者 (2件)： D’AGOSTINO G. (Universita di Udine, Udine, ITA) ,  LENZI G. (Universita di Salerno, Fisciano (SA), ITA)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 411  号： 50  ページ： 4273-4290  発行年： 2010年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 遷移 ,  μ計算