Iterative circular coinduction for CoCasl in Isabelle/HOL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski , Lutz Schröder
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI
Citations:6 - 1 self

Document Versions

Iterative circular coinduction for CoCasl in Isabelle/HOL –Daniel Hausmann, Till Mossakowski, Lutz Schröder — 2005 — FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI
Iterative circular coinduction for CoCasl in Isabelle/HOL –Daniel Hausmann, Till Mossakowski, Lutz Schröder — 2005 — FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI