Pages that link to "Item:Q406457"
From MaRDI portal
The following pages link to A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457):
Displaying 6 items.
- Programming from metaphorisms (Q1683699) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra (Q2374307) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Dependencies in relational models of databases (Q2374317) (← links)
