Jump to main content

yr 〜
yr

Search results 4

構成的プログラミングを実現する証明、検証、合成システム

構成的プログラミングを実現する証明、検証、合成システム
Paper図書
佐藤, 雅彦, 京都大学1994-1995<Y151-H06452387>
National Diet Library
  • Subject Heading構成的プログラミング 構成的論理 証明システム 関数型プログラム言語 代入文 遅延評価

ジラールの線形論理とその情報科学への応用

ジラールの線形論理とその情報科学への応用
Paper図書
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
National Diet Library
  • Subject Heading線形論理 相意味論 並行計算 正規化定理 カツト消去定理 関数型プログラム言語 論理プログラム言語 論理的計算モデル

構成的数学基づく証明検証合成システムの作成

構成的数学基づく証明検証合成システムの作成
Paper図書
佐藤, 雅彦, 東北大学1987-1989<Y151-S62460220>
National Diet Library
  • Subject Heading構成的数学 関数型プログラム言語 直観主義論理 証明 プログラムの検証 プログラムの合成

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成
Paper図書
佐藤, 雅彦, 東北大学1985-1986<Y151-S60580018>
National Diet Library
  • Subject Heading構成的数学 プログラムの形式的意味 データ型 プログラムの検証 関数型プログラム言語 論理型プログラム言語

Reached to the end of result.

RSS