CIRC: A Circular Coinductive Prover

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

10.1007/978-3-540-73859-6_25 ◽

2007 ◽

pp. 372-378 ◽

Author(s):

Dorel Lucanu ◽

Grigore Roşu

Download Full-text