文献

J-GLOBAL ID：201002229705417997   整理番号：10A0674013

展開/折畳み変換による帰納と余帰納の証明について

On Inductive and Coinductive Proofs via Unfold/Fold Transformations

著者 (1件)： SEKI Hirohisa (Nagoya Inst. Technol., Nagoya, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6037  ページ： 82-96  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 展開 ,  折畳み ,  帰納 ,  証明