Researchers compared several powerdomains to determine which best modeled nondeterministic computations.
研究者たちは、いくつかのパワードメインを比較して、どれが非決定的計算を最もよくモデル化するかを判断した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
