Pages that link to "Item:Q4792970"
From MaRDI portal
The following pages link to Axiomatizability in inclusive equational logics (Q4792970):
Displaying 8 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Partialising institutions (Q6185812) (← links)
