The following pages link to (Q4738215):
Displayed 5 items.
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)