Richard S. Williams

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Stanley S. Wainer, Richard S. Williams
Inductive definitions over a predicative arithmetic. Ann. Pure Appl. Log. 136 (1-2) (2005)
Dorothy K. Hall, Richard S. Williams, Konrad Steffen, J. Y. L. Chien
Analysis of summer 2002 melt extent on the Greenland ice sheet using MODIS and SSM/I data. IGARSS (2004)