Search

Results 1-7 of 7
Publication DateTitleAuthor(s)
1-May-1999Labelled Natural Deduction for Substructural LogicsRusso, A; Broda, K; Finger, M
1-Oct-1994FINITE H-DIMENSION DOES NOT IMPLY EXPRESSIVE COMPLETENESSHODKINSON, I
6-Mar-1995On Gabbay's temporal fixed point operatorHODKINSON, I
8-Dec-1997Atom structures of cylindric algebras and relation algebrasHodkinson, I
1-Feb-1996Computer support for protocol-based treatment of cancerHammond, P; Sergot, M
1-Oct-1996A logic programming framework for modeling temporal objectsKesim, FN; Sergot, M
1-Feb-1997The k-variable property is stronger than H-dimension kHodkinson, I; Simon, A
  • previous
  • 1
  • next