Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 341-356
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- CASL User Manual2004
- Casl Reference Manual2004
- Foundations of Heterogeneous Specification2003
- Conditional Circular Coinductive Rewriting with Case Analysis2003
- Isabelle/HOL2002
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Using a generalisation critic to find bisimulations for coinductive proofs1997