Pages that link to "Item:Q5887529"
From MaRDI portal
The following pages link to An algebraic formulation for data refinement (Q5887529):
Displaying 14 items.
- Some proofs of data refinement (Q911246) (← links)
- Laws of data refinement (Q1113664) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- Algebraic structure for bicategory enriched categories (Q1295569) (← links)
- Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729) (← links)
- Enrichment through variation (Q1368592) (← links)
- Data refinement and algebraic structure (Q1567199) (← links)
- Algebraic foundations for specification refinements (Q1784785) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Data loci in algebraic optimization (Q2154277) (← links)
- Using the Alloy analyzer to verify data refinement in Z (Q2863830) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- A method of iterative data refinement and its applications (Q5187117) (← links)