Well-Founded Relations and Relational Systems in Schröder Categories - Collections

＜departmental bulletin paper＞
Well-Founded Relations and Relational Systems in Schröder Categories

Creator	Creator Name 堀部, 久寿男 Horibe, Kusuo ホリベ, クスオ Affiliation Affiliation Name 熊本県庁 Kumamoto prefectural government office
	Creator Name 古澤, 仁 Furusawa, Hitoshi フルサワ, ヒトシ Affiliation Affiliation Name 産業技術総合研究所関西センター AIST Kansai, National Institute of Advanced Industrial Science and Technology
	Creator Name 河原, 康雄 Kawahara, Yasuo カワハラ, ヤスオ Affiliation Affiliation Name 九州大学大学院システム情報科学研究院情報理学部門 Department of Informatics, Faculty of Information Science and Electrical Engineering, Kyushu University
Language	Japanese
Publisher	九州大学大学院システム情報科学研究院
Publisher	Faculty of Information Science and Electrical Engineering, Kyushu University
Date	2002-09-26
Source Title	Research reports on information science and electrical engineering of Kyushu University
Vol	7
Issue	2
First Page	99
Last Page	104
Publication Type	Version of Record
Access Rights	open access
JaLC DOI	https://doi.org/10.15017/1525452
Related DOI	https://portal.isee.kyushu-u.ac.jp/
Related URI	https://portal.isee.kyushu-u.ac.jp/
Relation	https://portal.isee.kyushu-u.ac.jp/
Abstract	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.show more

File	FileType	Size	Views	Description
p099	pdf	544 KB	210