検索内容:
研究者たちは、理論計算機科学における非決定的計算をモデル化するために、多値代数がどのように利用できるかを研究した。
研究者は、非決定的な演算に由来する、集合とその上の多重演算の族からなる代数の性質を研究した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★