The following pages link to On the calculus of relations. (Q2585204):
Displaying 5 items.
- Relational calculus as a formal system (Q6558048) (← links)
- Executable first-order queries in the logic of information flows (Q6563053) (← links)
- Qualitative reasoning (Q6602219) (← links)
- Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)