Hennessy-Milner Properties in Schröder Categories - 九大コレクション

＜テクニカルレポート＞
Hennessy-Milner Properties in Schröder Categories

作成者	著者識別子 K000169 作成者名 KAWAHARA, Yasuo 河原, 康雄所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
作成者	著者識別子 K000173 作成者名 MORI, Masao 森, 雅生所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
本文言語	英語
出版者	Department of Informatics, Kyushu University
出版者	九州大学大学院システム情報科学研究院情報理学部門
発行日	1999-05-01
収録物名	DOI Technical Report
巻	163
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	DOI Technical Report \|\| 163
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	DOI Technical Report \|\| 163
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	DOI Technical Report \|\| 163
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html
概要	This note presents a relational formalization of Hennessy-Milner properties in Schröder categories.

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
trcs163	pdf	208 KB	266
trcs163.ps	gz	101 KB	173