Toshinori Takai
生駒 : 奈良先端科学技術大学院大学, 2002.3
1
R002119
2
禁帯出
R004576
2002
構成的正則保存項書換え系の決定可能な部分クラス
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2002年3月
学位記番号: 博第244号
報告番号: 甲第243号
授与年月日: 2002/03/22
学位の種類: 博士(工学)
英語 (eng)
高井, 利憲 (タカイ, トシノリ)
term rewriting system
tree automation
decidability
recognizability
strongly normalizing property
term rewriting systemtree automationdecidabilityrecognizabilitystrongly normalizing property
