詳細情報

刊年

1998

別書名

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

シリーズ名

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

注記

学位記番号: 修第775号

授与年月日: 1998/03/24

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

学生番号: 9651065

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

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

件名

unification problem

term rewriting system

order-sorted

tree automaton

linearity