Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 21
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-May-2007Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patternsFarrell, ADH; Sergot, MJ
1-Jan-2001Axiomatizing complex algebras by gamesHodkinson, I; Mikulas, S; Venema, Y
1-Mar-2006Complexity of monodic guarded fragments over linear and real timeHodkinson, I
30-Jun-2005The KGP model of Agency for Decision Making in e-NegotiationStathis, K; Toni, F
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-Jun-2005Using the event calculus for tracking the normative state of contractsFarrell, ADH; Sergot, MJ; Salle, M; Bartolini, C
1-Jan-2000Axiomatizability of reducts of algebras of relationsHodkinson, I; Mikulas, S