A reduction-preserving completion for proving confluence of non-terminating term rewriting systems

文献

J-GLOBAL ID：201902213135508953 整理番号：19S1440623

著者 (2件)： ,
資料名：
巻： 8 号： 1 発行年： 2012年
JST資料番号： SCOPUS ISSN： 1860-5974
発行国：ドイツ (DEU) 言語：英語 (EN)

前のページに戻る