Researchers compared several linear logics to determine which best models resource consumption.
研究者たちは、資源の消費を最もよくモデル化するものを判断するために、いくつかの異なる線形論理の変種を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
