TARSKI’S FIXED POINT THEOREM IN DEDEKIND CATEGORIES - 九大コレクション

＜学術雑誌論文＞
TARSKI’S FIXED POINT THEOREM IN DEDEKIND CATEGORIES

作成者	著者識別子 K000169 作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
作成者	著者識別子 L001263 作成者名 Honda, Kazumasa 本多, 和正所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
本文言語	英語
出版者	Research Association of Statistical Sciences
出版者	統計科学研究会
発行日	2006-12
収録物名	Bulletin of informatics and cybernetics
巻	38
開始ページ	27
終了ページ	37
出版タイプ	Version of Record
アクセス権	open access
Crossref DOI	https://doi.org/10.5109/12599
関連DOI	Bulletin of informatics and cybernetics \|\| 38 \|\| p27-37
関連DOI	http://bic.math.kyushu-u.ac.jp/
関連URI	Bulletin of informatics and cybernetics \|\| 38 \|\| p27-37
関連URI	http://bic.math.kyushu-u.ac.jp/
関連情報	Bulletin of informatics and cybernetics \|\| 38 \|\| p27-37
関連情報	http://bic.math.kyushu-u.ac.jp/
概要	Tarski's fixed point theorem for complete lattices is a fundamental theorem in lattice theory and is very useful for computer science applications. This paper will show a general result in Dedekind ca...tegories, which extends the Tarski's theorem.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p027	pdf	200 KB	440