Jump to main content

yr 〜
yr

Search results 5

可算モデルの個数が有限となる理論の研究

可算モデルの個数が有限となる理論の研究
Paper図書
坪井, 明人, 筑波大学1999-2000<Y151-H11640100>
National Diet Library
  • Subject Heading可算モデル ペアノの公理 一階論理式 定義可能性

チャーチのラムダ計算のBCK論理による再生

チャーチのラムダ計算のBCK論理による再生
Paper図書
古森雄一, 千葉大学 [著][古森雄一]2003-2006<Y151-H15540107>
National Diet Library
  • Subject Heading数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理 / 直観主義論理 / 極小論理式

ハードウェアの高位設計・検証支援システム

ハードウェアの高位設計・検証支援システム
Paper図書
谷口健一, 大阪大学 [著][谷口健一]2001-2004<Y151-H13558028>
National Diet Library
  • Subject Heading整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システム

推論を利用した暗号プロトコルの自動検証に関する研究

推論を利用した暗号プロトコルの自動検証に関する研究
Paper図書
黒沢, 馨, 東京工業大学1996-1997<Y151-H07650413>
National Diet Library
  • Subject HeadingBANロジツク 暗号プロトコル 論理式 鍵配送 検証

構成的論理の推論構造の研究

構成的論理の推論構造の研究
Paper図書
廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>
National Diet Library
  • Subject Heading構成的論理 ラムダ計算 型理論 直観主義論理 適切さの論理 curry-Haward 型としての論理式 古典論理

Reached to the end of result.

RSS