Pages that link to "Item:Q5316440"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5316440):
Displaying 6 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← 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)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)