In: Jhala, R., Igarashi, A

Brotherston, J · 2012 · DOI 10.1007/978-3-642-35182-2_25

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-05-24 · unverdicted · novelty 6.0

Circular induction applies the Circularity Principle to inductive proving, enabling combination with coinductive methods in a single framework.

Showing 1 of 1 citing paper.

Circular Induction cs.LO · 2026-05-24 · unverdicted · none · ref 4
Circular induction applies the Circularity Principle to inductive proving, enabling combination with coinductive methods in a single framework.