|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2009 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8177
|
| タイトル: | Constructor-based Institutions |
| 著者: | Gaina, Daniel
Futatsugi, Kokichi
Ogata, Kazuhiro |
| 発行日: | 2009-05-29 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2009-002 |
| 開始ページ: | 1 |
| 終了ページ: | 19 |
| 抄録: | Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructorbasedinstitutions defined on top of some base institutions by restricting the class of models. We define the proof rules for these logics formalized as institutions, and prove their completeness in the abstract framework of institutions. |
| URI: | http://hdl.handle.net/10119/8177 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2009
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2009-002.pdf | | 301Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
