Algorithms

Changning Huang, Endong Xun, Zhou Ming

October 2000

Tom Minka

September 2000

Tom Minka

September 2000

Andreas Blass, Yuri Gurevich

Journal of Symbolic Logic | September 2000, Vol 65: pp. 1264-1310

Tom Minka

September 2000

Li Deng

Proceedings of the IMA Workshop | September 2000

Tom Minka

August 2000

Tom Minka

July 2000

Kenneth L. McMillan , Shaz Qadeer, James B. Saxe

12th International Conference | July 2000

Tom Minka

July 2000