Reddy , fullbooktitle =

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

open at publisher browse 2 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.

cs.LO · 2026-04-22

Showing 2 of 2 citing papers.

Circular Induction cs.LO · 2026-05-24 · unverdicted · none · ref 21
Circular induction applies the Circularity Principle to inductive proving, enabling combination with coinductive methods in a single framework.
Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems cs.LO · 2026-04-22 · unreviewed · ref 30