Using Proofs by Coinduction to Find “Traditional” Proofs

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11548133_12 ◽

2005 ◽

pp. 175-193 ◽

Cited By ~ 9

Author(s):

Clemens Grabmayer