Pages that link to "Item:Q3989924"
From MaRDI portal
The following pages link to A finitary relational algebra for classical first order logic (Q3989924):
Displaying 6 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- Interpreting first-order theories into a logic of records (Q1868253) (← links)
- Finitary Algebraic Logic (Q3809799) (← links)
- Algebraic graph derivations for graphical calculi (Q6550547) (← links)