二項多重関係の反射的推移的閉包の構成

機関リポジトリ (HANDLE) Web Site オープンアクセス

書誌事項

タイトル別名
  • Construction of Transitive Closure of Binary Multirelations

この論文をさがす

説明

Binary multirelations have received attention in recent years as a semantic domain of nondeterministic programming languages. Also, it is known that binary multirelations provide a model of Parikh’s game logic. The iteration operator plays a central role in these programming languages and the logic, and it is natural that the iteration is ineterpreted as the reflexive transitive closure of a binary multirelation. We investigate constructions of the reflexive transitive closure among basic properties of up-closed binary multirelations.

収録刊行物

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ