論文

査読有り 筆頭著者 国際誌
2015年

Uniform Semi-Unification and Anchored Semi-Unification

Informal Proc. of 29th International Workshop on Unification
  • M. Iwami
開始ページ
25
終了ページ
29
記述言語
英語
掲載種別
研究論文（国際会議プロシーディングス）
エクスポート
BibTeX RIS
論文リストへ