On Inductive and Coinductive Proofs via Unfold/fold Transformations
-
- 世木 博久
- 名古屋工業大学
書誌事項
- タイトル
- On Inductive and Coinductive Proofs via Unfold/fold Transformations
- 著者
- 世木博久
収録刊行物
-
- Lecture Notes in Computer Science, Springer-Verlag 6037(印刷中)
-
Lecture Notes in Computer Science, Springer-Verlag 6037(印刷中) 82-96, 2010