Items where Laboratory is "Department of Computer Science (London, UK)"
Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleLuo, 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 |