OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Department of Computer Science (London, UK)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Luo, Zhaohui and Soloviev, Sergei and Xue, Tao. Coercive subtyping: Theory and implementation. (2013) Information and Computation, 223. 18-42. ISSN 0890-5401

Cohen, David A. and Cooper, Martin C. and Creed, Paidi and Jeavons, Peter G. and Zivny, Stanislav. An Algebraic Theory of Complexity for Discrete Optimization. (2013) SIAM Journal on Computing, 42 (5). 1915-1939. ISSN 0097-5397

This list was generated on Mon Jul 16 12:23:19 2018 CEST.