Pages that link to "Item:Q3007588"
From MaRDI portal
The following pages link to Relational Heterogeneity Relaxed by Subtyping (Q3007588):
Displaying 4 items.
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- Towards a formal framework for heterogeneous relation algebra (Q1961865) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)