Algorithms

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

J. Huang, Brian Kingsbury, L. Mangu, Mohamed Padmanabhan, George Saon, Geoffrey Zweig

Proceedings of ICSLP | January 2000

David Wilson

Random Structures and Algorithms | January 2000, Vol 16: pp. 85-113

arXiv:math.PR/9910050

Donald P. Greenberg, Stephen R. Marschner

January 2000

Alex Waibel, Jie Yang, Michael Finke, Rainer Stiefelhagen

January 2000