詳細情報

刊年

1996

形態

26p

別書名

代入に制約がある場合の構文的単一化問題

シリーズ名

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

注記

学位記番号: 修第167号

授与年月日: 1996/03/22

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

学生番号: 9451063

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

高田, 和宏 (タカダ, カズヒロ)

件名

syntactic unification

constrained substitution

decidability

computational complexity

tree automata