Mathematics

Nachum Dershowitz, Yuri Gurevich

The Bulletin of Symbolic Logic | September 2008, Vol 14(3)

Nick Benton, Vasileios Koutavas

MSR-TR-2008-129 | September 2008

Alexander E. Holroyd

Journal of Combinatorial Theory, Series A | August 2008, Vol 115: pp. 1096-1101

Chengjie Tu, Sridhar Srinivasan, Gary J. Sullivan, Shankar Regunathan, Henrique S. Malvar

SPIE Applications of Digital Image Processing | August 2008

Leonardo de Moura, Ruzica Piskac, Nikolaj Bjørner

MSR-TR-2008-104 | August 2008

M. J. Fairman, A. R. Price, G. Xue, M. Molinari, D. A. Nicole, T. M. Lenton, R. Marsh, K. Takeda, S. J. Cox, Kenji Takeda

Future Generation Computer Systems | Published by Elsevier | 2008 | Future Generation Computer Systems edition

Vipul Goyal, Abhishek Jain, Omkant Pandey, Amit Sahai

35th International Colloquium, ICALP 2008 | July 2008

Denny Zhou, Christopher J.C. Burges

MLG-2008: 6th International Workshop on Mining and Learning with Graphs, Helsinki, Finland | July 2008

David Wipf, Srikantan Nagarajan

Advances in Neural Information Processing Systems 20, MIT Press, 2008 | July 2008

, Yogesh Simmhan

16148 | July 2008