Login / Signup
J. C. F. Wilmont
Publication Activity (10 Years)
Years Active: 1991-1991
Publications (10 Years): 0
</>
Publications
</>
Huub M. M. ten Eikelder
,
J. C. F. Wilmont
Normal Forms for a Class of Formulas.
J. Symb. Comput.
12 (2) (1991)