Results 1-10 of 15
Publication DateTitleAuthor(s)
1-Sep-2009Strongly representable atom structures of cylindric algebrasHirsch, R; Hodkinson, I
1-Mar-2006Complexity of monodic guarded fragments over linear and real timeHodkinson, 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-Jan-2005Canonical varieties with no canonical axiomatisationHodkinson, I; Venema, Y
5-Dec-2001Relation algebras from cylindric algebras, IHirsch, R; Hodkinson, I
1-Sep-2011Weak representations of relation algebras and relational basesHirsch, R; Hodkinson, I; Maddux, RD
1-Dec-2000Decidable fragments of first-order temporal logicsHodkinson, I; Wolter, F; Zakharyaschev, M
5-Dec-2001Relation algebras from cylindric algebras, IIHirsch, R; Hodkinson, I
1-Jan-2000Axiomatizability of reducts of algebras of relationsHodkinson, I; Mikulas, S