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

• Material Type: 文書・図像類
• Title: A sufficient condition for the termination of the procedure for solving an order-sorted unification problem
• Author/Editor: Takai, Toshinori; Kaji, Yuichi; Seki, Hiroyuki
• Author Heading: Takai, Toshinori; Kaji, Yuichi; https://kaken.nii.ac.jp/ja/search/?qm=70263431; Seki, Hiroyuki
• Publication, Distribution, etc.: Nara Institute of Science and Technology
• Publication Date: 1999-08
• Publication Date (W3CDTF): 1999-08
• Periodical title: Information Science Technical Report
• No. or year of volume/issue: TR99010
• Issue: TR99010
• ISSN (Periodical Title): ISSN : 0919-9527
• Text Language Code: eng
• Target Audience: 一般
• Format (IMT): application/pdf
• Source: fulltext （fulltext）; https://naist.repo.nii.ac.jp/record/8804/files/R000893.pdf
• Access Restrictions: インターネット公開
• Periodical Title: URI; http://isw3.naist.jp/IS/TechReport/
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 奈良先端科学技術大学院大学 : 奈良先端科学技術大学院大学学術リポジトリnaistar

• Summary, etc.: The authors have proposed a procedure for solving an order-sorted unification problem in an equational theory which is defined by a confluent TRS. The...