Carlo Schenone

Publication Activity (10 Years)

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

Publications

Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone
A Uniform Approach to Deduction and Automatic Implementation. DISCO (1992)