Pages that link to "Item:Q299191"
From MaRDI portal
The following pages link to Relational lattices: from databases to universal algebra (Q299191):
Displaying 11 items.
- A new formalism for relational algebra (Q1186599) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- (Q3217645) (← links)
- LATTICES OF STRUCTURE MODELS AND DATABASE SCHEMES (Q4008489) (← links)
- (Q4233479) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Embeddability into Relational Lattices Is Undecidable (Q5283216) (← links)
- Relational Lattices (Q5410493) (← links)
- Relational Lattices via Duality (Q5739457) (← links)
- Orbital concept lattices (Q6045083) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)