Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

C

Chagrov, A.V. and Zakharyaschev, Michael (1992) Modal companions of intermediate propositional logics. Studia Logica 51 (1), pp. 49-82. ISSN 0039-3215.

J

Johnson, Roger and Lorentzos, N.A. (1992) Comments on 'extensions to SQL for historical databases'. IEEE Transactions on Knowledge and Data Engineering 4 (4), ISSN 1041-4347.

L

Levene, Mark (1992) The nested universal relation database model. Lecture Notes in Computer Science 595. Springer. ISBN 9783540554936.

Levene, Mark and Loizou, G. (1992) Inferring null join dependencies in relational databases. BIT Numerical Mathematics 32 (3), pp. 413-429. ISSN 0006-3835.

S

Sutton, D.R. and King, Peter J.H. (1992) Integration of modal logic and the functional data model. In: Gray, P.M.D. and Lucas, R.J. (eds.) Advanced Database Systems, 10th British National Conference on Databases: BNCOD 10. Lecture Notes in Computer Science 618. Springer, pp. 156-174. ISBN 9783540556930.

T

Tuv, E. and Poulovassilis, Alex and Levene, Mark (1992) A storage manager for the hypernode model. In: Gray, P.M.D. and Lucas, R.J. (eds.) Advanced Database Systems: 10th British National Conference on Databases. Lecture Notes in Computer Science 618. Springer, pp. 59-77. ISBN 9783540556930.

Z

Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.