www.dcs.qmul.ac.uk
Department of Computer Science. Research groups: Information, media and communication; Logic and foundations of programming; Parallel computing; Vision; Risk assessment and decision analysis; Knowledge representation and reasoning; Distributed systems. Host for Hypatia, a directory of research workers in Computer Science and Pure Mathematics and a library of their papers.
URLs from www.dcs.qmul.ac.uk:
URL: http://www.dcs.qmul.ac.uk/~pt/stable/Proofs+Types.html URL: http://www.dcs.qmul.ac.uk/research/logic URL: http://www.dcs.qmul.ac.uk
Queries: