命題帰結論理Cmと名辞帰結論理Cnの代数的モデル
スポンサーリンク
概要
著者
関連論文
- 定義使用グラフの拡張
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- SR並行プログラムにおける依存関係についての考察
- プログラム依存表現に基づく統合的ソフトウェア開発支援環境について
- 並行プログラムのためのプロセス依存ネット生成ツール
- プログラム依存グラフ可視化ツールの開発
- 相関論理Rcにおける強相関性原理について
- 相関論理への時間演算子の導入について
- 注釈付き論理プログラミングへの含意の入れ子表現の導入について
- Annotated Logic Programmingにおける矛盾の処理について
- 並行プログラムからその拡張ペトリネットモデルへの変換
- 命題帰結論理C_mと名辞帰結論理C_nの代数的モデル
- 命題帰結論理Cmと名辞帰結論理Cnの代数的モデル
- ペトリネット編集・シミュレーションツールの開発