The following pages link to Algebraic data integration (Q4577809):
Displaying 7 items.
- Fast left Kan extensions using the chase (Q2102935) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Certified equational reasoning via ordered completion (Q2305436) (← links)
- (Q4993362) (← links)
- (Q5019298) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- Persistent obstruction theory for a model category of measures with applications to data merging (Q5853603) (← links)
