yr 〜
yr

Search results 5

多様相論理の総合的研究とゲーム理論への応用

多様相論理の総合的研究とゲーム理論への応用
Paper図書
鈴木信行, 静岡大学 [著][鈴木信行]2004-2006<Y151-H16340022>
National Diet Library
  • Subject Heading非古典論理 / 様相論理 / 認識論理 / Kripke意味論 / 代数的意味論 / ゲーム理論 / 限定合理性

高信頼性Webアプリケーション構築のための振舞い検証モデル

高信頼性Webアプリケーション構築のための振舞い検証モデル
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2004-2006<Y151-H16500027>
National Diet Library
  • Subject Heading通信プロセスモデル / Webアプリケーション / π計算 / 代数的意味論 / タイムアウト処理

The conservativity problem between fragments of intermediate logics and its application

The conservativity problem between fragments of intermediate logics and its application
Digital博士論文障害者向け資料あり
横溝,恭平2018-03-25
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading数理論理学 非古典論理 中間論理 代数的意味論 シークエント計算 Mathematical logic N...

非古典述語論理のための代数的意味論の再構築

非古典述語論理のための代数的意味論の再構築
Digital文書・図像類
鈴木, 信行静岡大学2017-06-21
Other Libraries in Japan
  • Subject Heading非古典論理 代数的意味論 述語論理 クリプキ意味論

アルゴリズム論に関する総合的研究

アルゴリズム論に関する総合的研究
Paper図書
小林, 孝次郎, 東京工業大学1994-1996<Y151-H06302013>
National Diet Library
  • Subject Heading微分方程式の同定 知識命題論理 代数的意味論 関係代数 プログラムの検証 時相論理 蛋白質の構造 音楽情...

Reached to the end of result.