文献

J-GLOBAL ID：202202281521896807   整理番号：22A1104938

未知の公称統一【JST・京大機械翻訳】

Unranked Nominal Unification

著者 (4件)： Dundua Besik (Kutaisi International University, Kutaisi, Georgia) ,  Dundua Besik (Institute of Applied Mathematics, Tbilisi State University, Tbilisi, Georgia) ,  Kutsia Temur (RISC, Johannes Kepler University, Linz, Austria) ,  Rukhaia Mikheil (Institute of Applied Mathematics, Tbilisi State University, Tbilisi, Georgia)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13206  ページ： 279-296  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,非ランク付け名目言語,タプル変数およびタプルタプルを持つ名目言語の拡張を定義した。非ランク付け名目項に対する統一問題を定義し,非ランク付け名目統一問題を解くアルゴリズムを提案した。Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *言語 ,  等級づけ ,  問題

分類 (2件)： 自然語処理  (JE06000L) ,  人工知能  (JE08000Z)