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

学内論文

メールで送信

宛先

件名

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R000893

メールで送信

宛先

件名

巻号情報へ戻る

詳細情報

刊年

1999

シリーズ名

Information Science Technical Report ; TR99010

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

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

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

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

ISSN

09199527

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ