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

Article

Chagrov, A.V. and Zakharyaschev, M. (1993) The undecidability of the disjunction property of propositional logics and other related problems. The journal of Symbolic Logic 58 (3), pp. 967-1002. ISSN 0022-4812.

Chapman, N. and Fox, M. and Keravnou, E. and Lee, M and Levene, Mark and Long, D. and Rounce, P. and Offen, R. and Samet, P.A. and Winder, R.L. (1993) 'slick systems' and 'happy hackers': experience with group projects at UCL. Software Engineering Journal 8 (3), pp. 132-136. ISSN 0268-6961.

Levene, Mark and Loizou, G. (1993) Semantics for null extended nested relations. ACM Transactions on Database Systems 18 (3), pp. 414-459. ISSN 0362-5915.

Levene, Mark and Loizou, G. (1993) A fully precise null extended nested relational algebra. Fundamenta Informaticae 19 (3/4), pp. 303-342. ISSN 0169-2968.

Levene, Mark and Loizou, G. (1993) A modal logic formalism for distributed and parallel knowledge bases. International Journal of Parallel, Emergent and Distributed Systems 1 (1), pp. 11-27. ISSN 1744-5760.

Levene, Mark and Poulovassilis, Alex and Benkerimi, K. and Schwartz, S. and Tuv, E. (1993) Implementation of a graph-based data model for complex objects. SIGMOD Record 22 (4), pp. 26-31. ISSN 0163-5808.

Zakharyaschev, Michael (1993) A sufficient condition for the finite model property of modal logics above K4. Logic Journal of the IGPL 1 (1), pp. 13-21. ISSN 1367-0751.

Book Section

Christodoulou, Chris and Bugmann, G. and Clarkson, T.G. and Taylor, J.G. (1993) The temporal noisy-leaky integrator neuron with additional inhibitory inputs. In: Mira, J. and Cabestany, J. and Prieto, A. (eds.) International Workshop on Artificial Neural Networks: New Trends in Neural Computation. Lecture Notes in Computer Science 686. Springer, pp. 465-470. ISBN 9783540567981.

Hidders, Jan and Paredaens, J. (1993) GOAL: a graph-based object and association language. In: Paredaens, J. and Tenenbaum, L.A. (eds.) Advances in Database Systems: Implementations and Applications. CISM International Centre for Mechanical Sciences: Courses and Lectures 347. Springer, pp. 247-265.

Paterson-Jones, R. and Wood, Peter (1993) Extending the WAM for HiLog. In: Miller, D. (ed.) Logic Programming: Proceedings of the 1993 International Symposium. MIT Press. ISBN 9780262631525.

Vista, D. and Wood, Peter (1993) Efficient evaluation of visual queries using deductive databases. In: Ramakrishnan, R. (ed.) Applications of Logic Databases. The Kluwer International Series in Engineering and Computer Science 296. Kluwer, pp. 143-161. ISBN 9781461522072.

Vista, D. and Wood, Peter (1993) Efficient visual queries for deductive databases. In: Ramakrishnan, R. (ed.) Proceedings of the Workshop on Programming with Logic Databases, in Conjunction with ILPS. University of Wisconsin, pp. 44-59.

Wood, Peter (1993) Bottom-up evaluation of DataHiLog. In: Paton, N.W, and Howard Williams, M. (eds.) Proceedings of the 1st International Workshop on Rules in Database Systems. Workshops in Computing. Springer, pp. 401-415. ISBN 9783540198468.