Digital Library of Nara Institute of Science and Technology

Help Japanese
Login Exit

Search Result in Detail : Theses,Reports,Handouts

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

Toshinori Takai, Yuichi Kaji, Hiroyuki Seki

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

Related materials

Holdings:
  Volume Printing year Location Call Number Material ID Circulation class Status Waiting
1 PDF   Digital Library TR R000893   0
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