Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\mathrm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)

ダウンロード数: 109

http://hdl.handle.net/2433/170170

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1708-01.pdf		1.04 MB	Adobe PDF	見る/開く

タイトル:	Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\mathrm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
著者:	Okamoto, Keishi
著者名の別形:	岡本, 圭史
発行日:	Aug-2010
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1708
開始ページ:	1
終了ページ:	14
URI:	http://hdl.handle.net/2433/170170
出現コレクション:	1708 モデル理論とその代数への応用

このリポジトリに保管されているアイテムはすべて著作権により保護されています。