Pages that link to "Item:Q2888482"
From MaRDI portal
The following pages link to Circular Coinduction: A Proof Theoretical Foundation (Q2888482):
Displaying 19 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Program equivalence by circular reasoning (Q493521) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Matching logic explained (Q2035650) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Practical coinduction (Q5361147) (← 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)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
