Pages that link to "Item:Q3612501"
From MaRDI portal
The following pages link to CIRC: A Circular Coinductive Prover (Q3612501):
Displayed 11 items.
- CIRC (Q18336) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A Tool Proving Well-Definedness of Streams Using Termination Tools (Q2888504) (← links)
- (Q2980965) (← links)
- Well-Definedness of Streams by Termination (Q3636825) (← links)
- Patterns for Maude Metalanguage Applications (Q5179132) (← links)