Jump to main content

yr 〜
yr

Search results 8

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

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

有理関数空間の完備化の位相幾何

有理関数空間の完備化の位相幾何
Paper図書
神山, 靖彦, 琉球大学2001-2002<Y151-H13640085>
National Diet Library
  • Subject Headingインスタント モジユライ空間 完備化 ホモロジ- リ-群

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

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

代数的手法に基づくソフトウエアの検証の基礎的研究

代数的手法に基づくソフトウエアの検証の基礎的研究
Paper図書
酒井, 正彦, 名古屋大学1995-1997<Y151-H07680350>
National Diet Library
  • Subject Heading項書換え系 合流条件 停止条件 E単一化 完備化

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

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

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン
Paper図書
栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>
National Diet Library
  • Subject Heading項書換え系 プログラム合成 停止性 検証 EBL 完備化 リフレクシヨン モジユール

解析学の諸問題

解析学の諸問題
Paper図書
島倉, 紀夫, 東北大学1991-1993<Y151-H03452006>
National Diet Library
  • Subject Headingリヤプノフ函数 作用函数 正則完備化環 最小エネルギー解 非共鳴条件 超幾何的特異性 ウイルソン...

非決定計算のための項書き換え理論

非決定計算のための項書き換え理論
Digitalその他
廣川, 直2013-05-31科学研究費助成事業研究成果報告書p.1-4
Other Libraries in Japan
  • Subject Heading項書換え 合流性 完備化 戦略
  • Note (General)...の場合に対し統一した。また極大完備化という定理証明ための新たな基盤......析ツールSaigawa と自動完備化ツールMaxcomp を開発した。 : Term rewri...

Reached to the end of result.

RSS