有界経路重なり項書換え系の停止性問題について

有界経路重なり項書換え系の停止性問題について

ユウカイ ケイロ カサナリコウ カキカエケイ ノ テイシセイ モンダイ ニ ツイテ

阿部武徳

生駒 : 奈良先端科学技術大学院大学, 2001.3

Thesis / Diss.

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R001731

2

  • [IS]2001(1)

Restricted

Details

Publication year

2001

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2001年3月

Note

学位記番号: 修第1459号

授与年月日: 2001/03/23

学位の種類: 修士(工学)

学生番号: 9951001

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

阿部, 武徳 (アベ, タケノリ)

Subject

項書換え系

停止性

有界経路重なり項書換え系

正則木言語

木オートマン

弱最内正規化性