Onnie Lynn Winebarger

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger
Improving the lazy Krivine machine. High. Order Symb. Comput. 20 (3) (2007)