図書

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

図書を表すアイコン

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

国立国会図書館請求記号
Y151-H12680344
国立国会図書館書誌ID
000007087215
資料種別
図書
著者
大山口, 通夫, 三重大学
出版者
-
出版年
2000-2002
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト テイリ ノ ジドウ ショウメイ ニ カンスル ケンキュウ
著者・編者
大山口, 通夫, 三重大学
著者標目
大山口, 通夫 オオヤマグチ, ミチオ
出版年月日等
2000-2002
出版年(W3CDTF)
2000
数量
その他のタイトル
研究種目 基盤研究(C)
件名標目
項書き換えシステム コウカキカエシステム
Church-Rosser (合流性) CHURCH-ROSSER (ゴウリユウセイ)
非線形TRS ヒセンケイTRS
完備化手続き カンビカテツズキ
定理の自動証明 テイリノジドウシヨウメイ
単一化 タンイツカ
深さ保存性 フカサホゾンセイ
拡張危険対の完備化 カクチヨウキケンタイノカンビカ