Wilfred J. Legato

Publication Activity (10 Years)

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

Publications

Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
Toward Automating the Discovery of Decreasing Measures. J. Autom. Reason. 35 (4) (2005)