Using Proofs by Coinduction to Find "Traditional" Proofs

C.A. Grabmayer

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)175-193
JournalLecture Notes in Computer Science
Volume3629
Publication statusPublished - 2005

Bibliographical note

DBLP:conf/calco/Grabmayer05
Proceedings title: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Publisher: Spinger
Editors: J.L. Fiadeiro, N. Harman, M. Roggenbach, J.J.M.M. Rutten

Cite this