文献

J-GLOBAL ID：201102225122237291   整理番号：11A0409647

項書換えの多項式派生計算量のための行列解釈の再検討

Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting

著者 (3件)： NEURAUTER Friedrich (Univ. Innsbruck, AUT) ,  ZANKL Harald (Univ. Innsbruck, AUT) ,  MIDDELDORP Aart (Univ. Innsbruck, AUT)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6397  ページ： 550-564  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 項書換え ,  多項式 ,  計算量 ,  行列