Jump to main content
図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H08680362
Bibliographic ID of National Diet Library
000007017310
Material type
図書
Author
大山口, 通夫, 三重大学
Publisher
-
Publication date
1996-1998
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト カンビカ テツヅキ ニ カンスル ケンキュウ
Author/Editor
大山口, 通夫, 三重大学
Author Heading
大山口, 通夫 オオヤマグチ, ミチオ
Publication Date
1996-1998
Publication Date (W3CDTF)
1996
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
項書き換えシステム コウカキカエシステム
左線形TRS サセンケイTRS
合流性 ゴウリユウセイ
Church-Rosser CHURCH-ROSSER
完備化手続き カンビカテツズキ
非線形TRS ヒセンケイTRS
強重なり性 キヨウカサナリセイ
重さ保存性 オモサホゾンセイ