六車 嘉貢 | 大阪大学大学院, 塩野義養製薬(株)

スポンサーリンク

概要

• 六車 嘉貢の詳細を見る
• 同名の論文著者
• 大阪大学大学院, 塩野義養製薬(株)の論文著者

論文 | ランダム

• 相互通信逐次型プロセス系のデッドロックフリ-性の検証
• 相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
• 相互通信逐次型プロセス系の部分的正当性検証体系
• 並行プログラム検証体系のためのダイナミック論理の拡張
• プラトン・リュシス篇の hopeless result (απορια) について(II)

もっと見る

スポンサーリンク