Pages that link to "Item:Q3126404"
From MaRDI portal
The following pages link to Axiomatising Various Classes of Relation and Cylindric Algebras (Q3126404):
Displaying 16 items.
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Relation algebras by games (Q700879) (← links)
- The basic algebra of game equivalences (Q1425189) (← links)
- Axiomatizing complex algebras by games. (Q1771885) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- A curve and its abstract Jacobian (Q2878713) (← links)
- (Q2996969) (← links)
- Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem (Q3772219) (← links)
- (Q4273476) (← links)
- (Q4329278) (← links)
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS (Q4780286) (← links)
- Relation algebra reducts of cylindric algebras and complete representations (Q5294031) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable (Q5693111) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)