• Top
  • Details (Local collection)
Syntactic Unification under Constrained Substitutions

Syntactic Unification under Constrained Substitutions

Kazuhiro Takada

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

Thesis / Diss.

Volume No.

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

1

R000201

2

  • [IS]1996(7)

Restricted

Details

Publication year

1996

Form

26p

Alternative title

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

Series title

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

Note

学位記番号: 修第167号

授与年月日: 1996/03/22

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

学生番号: 9451063

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

syntactic unification

constrained substitution

decidability

computational complexity

tree automata