Conditional Circular Coinductive Rewriting with Case Analysis
Authors:
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 216-232
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- A hidden agendaTheoretical Computer Science, 2000
- Hiding more of hidden algebra1999
- Towards the one-tiered design of data types and transition systemsLecture Notes in Computer Science, 1998
- Observational Logic1998
- Observational proofs with critical contexts1998
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Observational specifications and the indistinguishability assumptionTheoretical Computer Science, 1995
- Mongruences and cofree coalgebrasLecture Notes in Computer Science, 1995
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991