Jump to main content

yr 〜
yr

Search results 7

プログラム検証のための帰納的定理自動証明法の研究

プログラム検証のための帰納的定理自動証明法の研究
Paper図書
外山, 芳人, 東北大学1998-2001<Y151-H10680346>
National Diet Library
  • Subject Heading項書き換えシステム 自動証明 潜在帰納法 書き換え帰納法

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
Paper図書
大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>
National Diet Library
  • Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TR...

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
Paper図書
大山口, 通夫, 三重大学2000-2002<Y151-H12680344>
National Diet Library
  • Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備...

高階書き換えシステムをもちいたプログラム検証法の研究

高階書き換えシステムをもちいたプログラム検証法の研究
Paper図書
外山, 芳人, 北陸先端科学技術大学院大学1995-1997<Y151-H07680347>
National Diet Library
  • Subject Heading項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

書き換えシステムの基本的性質の解明と完備化手続きに関する研究
Paper図書
大山口, 通夫, 三重大学1996-1998<Y151-H08680362>
National Diet Library
  • Subject Heading項書き換えシステム 左線形TRS 合流性 Church-Rosser 完備化手...

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究
Paper図書
大山口通夫, 三重大学1993-1994<Y151-H05680272>
National Diet Library
  • Subject Heading項書き換えシステム 合流性 E重なり 非ω重なり 単純右線形TRS 深さ保存性...

正当性自動保証機能を備えた高階プログラム自動変換技術

正当性自動保証機能を備えた高階プログラム自動変換技術
Digitalその他
千葉, 勇輝2015-06-05科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Subject Headingプログラム変換 単純型付項書き換えシステム パターンマッチング
  • Note (General)...論的計算モデルとして，単純型付項書き換えシステム(Simply Typed Term Rewriting S...

Reached to the end of result.

RSS