Pages that link to "Item:Q5900835"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900835):
Displaying 5 items.
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Monad as modality (Q1392142) (← links)
- Expander2: program verification between interaction and automation (Q2873787) (← links)
- (Q4417837) (← links)
- Monad-independent Dynamic Logic in HasCasl (Q4823808) (← links)