Art

J-GLOBAL ID：200902238719596990   Reference number：08A1229533

The Computability Path Ordering: The End of a Quest

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

Author (3)： BLANQUI Frederic (INRIA, Vandoeuvre-les-Nancy, FRA) ,  JOUANNAUD Jean-Pierre (Ecole Polytechnique, Palaiseau, FRA) ,  RUBIO Albert (Technical Univ. Catalonia, Barcelona, ESP)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 5213  Page： 1-14  Publication year： 2008 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (3)： 計算可能性 ,  経路 ,  順序付け