文献

J-GLOBAL ID：200902254626454040   整理番号：04A0706343

終結のAProVEによる自動証明

Automated Termination Proofs with AProVE

著者 (4件)： GIESL J (RWTH Aachen, Aachen, DEU) ,  THIEMANN R (RWTH Aachen, Aachen, DEU) ,  SCHNEIDER-KAMP P (RWTH Aachen, Aachen, DEU) ,  FALKE S (RWTH Aachen, Aachen, DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3091  ページ： 210-220  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： 証明