On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus (2003)

Cached

Download Links

by Christoph Sprenger , Mads Dam
Venue:IN PROCEEDINGS OF FOSSACS 2003
Citations:18 - 2 self