書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

• Material Type: 図書
• Title: 書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究
• Title Transcription: カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト カンスウガタ プログラム ノ ヒョウカ センリャク ニ カンスル ケンキュウ
• Author/Editor: 大山口通夫, 三重大学
• Author Heading: 大山口, 通夫 オオヤマグチ, ミチオ
• Publication Date: 1993-1994
• Publication Date (W3CDTF): 1993; 1994
• Extent: 冊
• Additional Title: 研究種目 一般研究(C)
• Subject Heading: 項書き換えシステム コウカキカエシステム; 合流性 ゴウリユウセイ; E重なり Eカサナリ; 非ω重なり ヒオメガカサナリ; 単純右線形TRS タンジユンウセンケイTRS; 深さ保存性 フカサホゾンセイ; 系列正規化 ケイレツセイキカ
• NDLC: Y151
• Note (General): 文部省科学研究費補助金研究成果報告書
• Research Project No. of Grants-in-Aid for Scientific Research: 05680272
• Holding library: 国立国会図書館
• Call No.: Y151-H05680272
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000006994650; http://id.ndl.go.jp/bib/000006994650
• Bibliographic Record Category (NDL): 214