検索結果 4 件
デジタル記事
インターネットで読める全国の図書館
- 要約等...sic properties of multirelations, and then shows that classes of multirelations provides models of three weaker variants of Kleene algebras, namely, lazy, monodic tree, and probabilistic Kleene algebras. Also it is sh...... these classes of up-closed mult......ns need not be models of Kozen's Kleene algebras unlike the case of ordinary binary relations.
- 標準番号（その他）https://hdl.handle.net/2324/21043
- 件名Multirelations Lazy Kleene algebras Monodic tree Kleene algebras Probabilistic Kleene algebras
検索結果は以上です。