Pages that link to "Item:Q2385430"
From MaRDI portal
The following pages link to Category localization semantics for specification refinements (Q2385430):
Displaying 4 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Algebraic foundations for specification refinements (Q1784785) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)