Schröder圏における整基関係と関係システム - 九大コレクション

＜紀要論文＞
Schröder圏における整基関係と関係システム

作成者	作成者名堀部, 久寿男 Horibe, Kusuo ホリベ, クスオ所属機関所属機関名熊本県庁 Kumamoto prefectural government office
	作成者名古澤, 仁 Furusawa, Hitoshi フルサワ, ヒトシ所属機関所属機関名産業技術総合研究所関西センター AIST Kansai, National Institute of Advanced Industrial Science and Technology
	作成者名河原, 康雄 Kawahara, Yasuo カワハラ, ヤスオ所属機関所属機関名九州大学大学院システム情報科学研究院情報理学部門 Department of Informatics, Faculty of Information Science and Electrical Engineering, Kyushu University
本文言語	日本語
出版者	九州大学大学院システム情報科学研究院
出版者	Faculty of Information Science and Electrical Engineering, Kyushu University
発行日	2002-09-26
収録物名	九州大学大学院システム情報科学紀要
巻	7
号	2
開始ページ	99
終了ページ	104
出版タイプ	Version of Record
アクセス権	open access
JaLC DOI	https://doi.org/10.15017/1525452
関連DOI	https://portal.isee.kyushu-u.ac.jp/
関連URI	https://portal.isee.kyushu-u.ac.jp/
関連情報	https://portal.isee.kyushu-u.ac.jp/
概要	Labelled transition systems are generally recognised as an appropriate model for nondeterministic computations. This paper presents a fundamental theory of well-founded relations and relational system...s in Schröder categories.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p099	pdf	544 KB	315