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 20 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)
- On geometric and finitary sketches (Q1923801) (← links)
- Adjoint functor theorems for homotopically enriched categories (Q2111223) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- A diagrammatic logic for object-oriented visual modeling (Q2864376) (← links)
- Diagrams, equations and theories in categories (Q3338414) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- Sketches and computation – I: basic definitions and static evaluation (Q4302336) (← links)
- Triangular Logic of Partial Toposes (Q4443409) (← links)
- Oeuvres complètes et commentées. Esquisses et structures monoïdales fermées. Partie IV - 2. Editée et commentée par Andrée Charles Ehresmann (Q5184878) (← links)
- Database queries and constraints via lifting problems (Q5740402) (← links)
- Sheafifiable homotopy model categories. II (Q5954115) (← links)
- Composing Cagean silence (Q6555061) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)
