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

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
188 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
123 A complete inference system for a class of regular behaviors – R Milner - 1984
80 Two complete axiom systems for the algebra of regular events – A Salomaa - 1966
3 Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra – Dexter Kozen
14 On the coalgebraic theory of Kleene algebra with tests – Dexter Kozen - 2008
9 Regular-expression derivatives reexamined – Scott Owens, John Reppy, Aaron Turon
4 1 Automating Coinduction with Case Analysis – Eugen-ioan Goriac, Dorel Lucanu, Ru Ioan Cuza Ia¸si, Eugen-ioan Goriac, Dorel Lucanu
5 A decision procedure for bisimilarity of generalized regular expressions – Marcello Bonsangue, Georgiana Caltais, Eugen-ioan Goriac, Jan Rutten, Ra Silva
8 Circular coinduction: a proof theoretical foundation – G Ro¸su, D Lucanu - 2009
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
74 All About Maude – A High-Performance Logical Framework – M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott - 2007
15 Non-Deterministic Kleene Coalgebras – Alexandra Silva, Marcello Bonsangue, Jan Rutten
532 A lattice-theoretical fixpoint theorem and its applications – A TARSKI - 1955
4 Casl User Manual, volume 2900 – M Bidoit, P D Mosses - 2004