• Top
  • Details (Local collection)
A sufficient condition for the termination of the procedure for solving an order-sorted unification problem

A sufficient condition for the termination of the procedure for solving an order-sorted unification problem

Toshinori Takai, Yuichi Kaji, Hiroyuki Seki

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

In-house publ.

Send by email

Address

Subject

Volume No.

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

1

  • TR

R000893

Send by email

Address

Subject

Back to volume top

Details

Publication year

1999

Series title

Information Science Technical Report ; TR99010

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

楫, 勇一 (カジ, ユウイチ)

関, 浩之 (セキ, ヒロユキ)

ISSN

09199527

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo