Search results 7
Paper図書
National Diet Library
- Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非線形TR...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TRS 完備...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 左線形TRS 合流性 Church-Rosser 完備化手...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 合流性 E重なり 非ω重なり 単純右線形TRS 深さ保存性...
Digitalその他
Other Libraries in Japan
- Subject Headingプログラム変換 単純型付項書き換えシステム パターンマッチング
- Note (General)...論的計算モデルとして,単純型付項書き換えシステム(Simply Typed Term Rewriting S...