Pages that link to "Item:Q4715670"
From MaRDI portal
The following pages link to Mirror, mirror in my hand: a duality between specifications and models of process behaviour (Q4715670):
Displaying 5 items.
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Saturated models in institutions (Q992038) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
