Algorithms

Henrique S. Malvar

Data Compression Conference | March 2000

Data Compression Conference

Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi

MSR-TR-99-33 | March 2000

Cheng Yang, Usama Fayyad, Paul S. Bradley

MSR-TR-2000-20 | February 2000

Andreas Blass, Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | February 2000

Max Chickering, David Heckerman

MSR-TR-2000-17 | February 2000

Proceedings of the International Conference on Functional Programming

Thomas Ball, Sriram Rajamani

MSR-TR-2000-14 | February 2000

Published by Microsoft

Project

M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecky

Physical Review Letters | January 2000

Leslie Lamport

Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51

Yuri Gurevich, Alexander Rabinovich

Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958

Yuri Gurevich

Proceedings of CSL 2000, Springer Lecture Notes in Computer Science | January 2000