Pages that link to "Item:Q674480"
From MaRDI portal
The following pages link to Generalized sketches as a framework for completeness theorems. I-III (Q674480):
Displaying 9 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- A formalisation of the copy-modify-merge approach to version control in MDE (Q710677) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)
- Adjoint functor theorems for homotopically enriched categories (Q2111223) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376) (← links)
