<学術雑誌論文>
MULTIRELATIONAL MODELS OF LAZY, MONODIC TREE, AND PROBABILISTIC KLEENE ALGEBRAS

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
Crossref DOI
関連情報
概要 This paper studies basic properties of multirelations, and then shows that classes of multirelations provides models of three weaker variants of Kleene algebras, namely, lazy, monodic tree, and probab...ilistic Kleene algebras. Also it is shown that these classes of up-closed multirelations need not be models of Kozen's Kleene algebras unlike the case of ordinary binary relations.続きを見る

本文ファイル

p011 pdf 118 KB 342  

詳細

PISSN
NCID
レコードID
査読有無
主題
タイプ
登録日 2012.03.14
更新日 2020.11.02

この資料を見た人はこんな資料も見ています