Iterative Circular Coinduction for CoCASL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski
Venue:in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442
Citations:5 - 0 self

Document Versions

Iterative Circular Coinduction for CoCASL –Daniel Hausmann, Till Mossakowski — 2005 — in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442