命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 松岡 聡

  名古屋工業大学大学院工学研究科

関連論文

• 命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)
• 加法性を持つ拡張インタラクション・ネット : 線形論理に基づく新しいプログラミング言語

スポンサーリンク