Pages that link to "Item:Q5900823"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900823):
Displaying 9 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Complete sets of cooperations (Q618169) (← links)
- A coinductive approach to proving reachability properties in logically constrained term rewriting systems (Q1799091) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Behavioral and coinductive rewriting (Q2703688) (← links)
- Regular strategies as proof tactics for \textsf{CIRC} (Q2873678) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)