Jump to main content

yr 〜
yr

Search results 3

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

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

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

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

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

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

Reached to the end of result.

RSS