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

詳細検索

すべて

同義語を見る(0)

専門用語を詳しく探す

ー

詳細検索：

を探す
　詳細検索を行う基本情報を選んでください


	フリーワード	※以下の同義語を加えると、ヒット件数を増やすことができます。




		～

文献

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

The Joinability and Unification Problems for Confluent Semi-constructor TRSs

著者 (4件)： , , ,
資料名：
巻： 3091 ページ： 285-300 発行年： 2004年
JST資料番号： H0078D ISSN： 0302-9743 資料種別：会議録 (C)
発行国：ドイツ (DEU) 言語：英語 (EN)

,

TOP

BOTTOM