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

C

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.

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.

H

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.

L

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.

P

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.

V

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.

W

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.

Z

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.