• Top
  • Details (Local collection)
Layered transducing term rewriting system and its recognizability preserving property

Layered transducing term rewriting system and its recognizability preserving property

Yohei Fujinaka

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

Thesis / Diss.

Volume No.

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

1

R002171

2

  • [IS]2002(8)

Restricted

Details

Publication year

2002

Alternative title

多層変換項書換え系とその正則保存性について

Series title

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

Note

学位記番号: 修第1830号

授与年月日: 2002/03/22

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

学生番号: 0051093

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

藤中, 洋平 (フジナカ, ヨウヘイ)

Subject

Term Rewriting System(TRS)

Tree Automaton

Recognizability

Recognizability Preserving Property

Layered Tayered Transducing TRS