Solving an Order-Sorted Unification Problem Using Tree Automata

Solving an Order-Sorted Unification Problem Using Tree Automata

Toshinori Takai

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

Thesis / Diss.

Volume No.

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

1

R000673

2

  • [IS]1998(6)

Restricted

Details

Publication year

1998

Alternative title

順序ソート付き単一化問題の木オートマンを用いた解法

Series title

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

Note

学位記番号: 修第775号

授与年月日: 1998/03/24

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

学生番号: 9651065

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

高井, 利憲 (タカイ, トシノリ)

Subject

unification problem

term rewriting system

order-sorted

tree automaton

linearity