文献
J-GLOBAL ID:200902292263086140   整理番号:04A0706348

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

The Joinability and Unification Problems for Confluent Semi-constructor TRSs
著者 (4件):
資料名:
巻: 3091  ページ: 285-300  発行年: 2004年 
JST資料番号: H0078D  ISSN: 0302-9743  資料種別: 会議録 (C)
発行国: ドイツ (DEU)  言語: 英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る