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

A

Andreka, H. and Mikulas, Szabolcs (1994) Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information 3 (1), pp. 1-37. ISSN 0925-8531.

C

Chittaro, L. and Montanari, A. and Provetti, Alessandro (1994) Skeptical and credulous event calculi for supporting modal queries. In: Cohn, A.G. (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence. Wiley, pp. 361-365.

J

Jang, Y.P. and Johnson, Roger (1994) Evolutions of object states in temporal object-oriented databases. In: Werth, J. and Werth, L.H. (eds.) Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications. Association for Computing Machinery, pp. 304-311.

L

Levene, Mark and Loizou, G. (1994) The nested universal relation data model. Journal of Computer and System Sciences 49 (3), pp. 683-717. ISSN 0022-0000.

P

Papantonakis, A. and King, Peter J.H. (1994) Gql, a declarative graphical query language based on the functional data model. In: Costabile, M.F. and Catarci, T. and Levialdi, S. and Santucci, G. (eds.) Proceedings of the Workshop on Advanced Visual Interfaces: AVI 1994. Association for Computing Machinery, pp. 113-122. ISBN 9780897917339.

Poulovassilis, Alex and Levene, Mark (1994) A nested-graph model for the representation and manipulation of complex objects. ACM Transactions on Information Systems 12 (1), pp. 35-68. ISSN 1046-8188.

Provetti, Alessandro (1994) Hypothetical reasoning from situation calculus to event calculus. In: Goodwin, S.D. and Hamilton, H.J. (eds.) Proceedings of the TIME-94 International Workshop on Temporal Reasoning. University of Regina, pp. 42-47. ISBN 9780773102781.

S

Soukeras, S. and King, Peter J.H. (1994) TFDL: a temporal functional language for the management of historical databases. In: Karagiannis, D. (ed.) Database and Expert Systems Applications, 5th International Conference: DEXA '94. Lecture Notes in Computer Science 856. Springer, pp. 259-269. ISBN 9783540584353.

Soukeras, S. and King, Peter J.H. (1994) Temporal databases: an event oriented approach. In: Bowers, D.S. (ed.) Directions in Databases, 12th British National Conference on Databases: BNCOD 12. Lecture Notes in Computer Science 826. Springer, pp. 38-54. ISBN 9783540582359.

Z

Zakharyaschev, Michael (1994) A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35 (3), pp. 450-457. ISSN 0029-4527.

Zhao, X. and Johnson, Roger and Martin, N.J. (1994) DBJ: a dynamic balancing hash join algorithm in multiprocessor database systems. Information Systems 19 (1), pp. 89-100. ISSN 0306-4379.

Zhao, X. and Johnson, Roger and Martin, N.J. (1994) DBJ: a dynamic balancing hash join algorithm in multiprocessor database systems. In: Jarke, M. and Bubenko, J.A. and Jeffery, K.G. (eds.) Advances in Database Technology: 4th International Conference on Extending Database Technology. Lecture Notes in Computer Science 779. Springer, pp. 301-308. ISBN 9783540578185.