文献

J-GLOBAL ID：200902238719596990   整理番号：08A1229533

計算可能性経路の順序付け:追求の終了

The Computability Path Ordering: The End of a Quest

著者 (3件)： BLANQUI Frederic (INRIA, Vandoeuvre-les-Nancy, FRA) ,  JOUANNAUD Jean-Pierre (Ecole Polytechnique, Palaiseau, FRA) ,  RUBIO Albert (Technical Univ. Catalonia, Barcelona, ESP)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 5213  ページ： 1-14  発行年： 2008年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 計算可能性 ,  経路 ,  順序付け