文献

J-GLOBAL ID：200902292263086140   整理番号：04A0706348

合流半構成子TRSのための結合性問題と結合問題

The Joinability and Unification Problems for Confluent Semi-constructor TRSs

著者 (4件)： MITSUHASHI I (Mie Univ., Tsu-shi, JPN) ,  OYAMAGUCHI M (Mie Univ., Tsu-shi, JPN) ,  OHTA Y (Mie Univ., Tsu-shi, JPN) ,  YAMADA T (Mie Univ., Tsu-shi, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3091  ページ： 285-300  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 合流 ,  結合性