The following pages link to CIRC (Q18336):
Displaying 39 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← 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)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Matching logic explained (Q2035650) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- Well-definedness of streams by transformation and termination (Q2786138) (← links)
- Witnessing (Co)datatypes (Q2802441) (← links)
- Constructor-Based Inductive Theorem Prover (Q2848959) (← links)
- Regular strategies as proof tactics for \textsf{CIRC} (Q2873678) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- A Tool Proving Well-Definedness of Streams Using Termination Tools (Q2888504) (← links)
- A Specification Language for Reo Connectors (Q2894576) (← links)
- (Q2980965) (← links)
- Friends with Benefits (Q2988636) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Towards a Unified Theory of Operational and Axiomatic Semantics (Q3167025) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (Q3557847) (← links)
- Sampling, Splitting and Merging in Coinductive Stream Calculus (Q3575278) (← links)
- Well-Definedness of Streams by Termination (Q3636825) (← links)
- Coinductive Proof Techniques for Language Equivalence (Q4910486) (← links)
- Patterns for Maude Metalanguage Applications (Q5179132) (← links)
- Practical coinduction (Q5361147) (← links)
- Proving equality of streams automatically (Q5389096) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
