Evaluation strategies for term rewriting systems 項書き換えシステムのための評価戦略の研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Evaluation strategies for term rewriting systems
- Other Title
-
項書き換えシステムのための評価戦略の研究
- Author
-
中村, 正樹
- Author(Another name)
-
ナカムラ, マサキ
- University
-
北陸先端科学技術大学院大学
- Types of degree
-
博士 (情報科学)
- Grant ID
-
甲第160号
- Degree year
-
2002-03-22
Note and Description
博士論文
Supervisor:二木 厚吉
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/919