Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 15
Item hits:
Issue DateTitleAuthor(s)
5-Dec-2001Relation algebras from cylindric algebras, IHirsch, R; Hodkinson, I
1-Sep-2009Strongly representable atom structures of cylindric algebrasHirsch, R; Hodkinson, I
1-Jan-2001Axiomatizing complex algebras by gamesHodkinson, I; Mikulas, S; Venema, Y
8-Dec-1997Atom structures of cylindric algebras and relation algebrasHodkinson, I
1-Mar-2006Complexity of monodic guarded fragments over linear and real timeHodkinson, I
1-Dec-2000Decidable fragments of first-order temporal logicsHodkinson, I; Wolter, F; Zakharyaschev, M
3-Feb-2000Relation algebras with n-dimensional relational basesHirsch, R; Hodkinson, I
1-Jan-2000Axiomatizability of reducts of algebras of relationsHodkinson, I; Mikulas, S
1-Jan-2005Canonical varieties with no canonical axiomatisationHodkinson, I; Venema, Y
5-Dec-2001Relation algebras from cylindric algebras, IIHirsch, R; Hodkinson, I