Pages that link to "Item:Q2888482"
From MaRDI portal
The following pages link to Circular Coinduction: A Proof Theoretical Foundation (Q2888482):
Displayed 7 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)