J. C. F. Wilmont

According to our database, J. C. F. Wilmont authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Normal Forms for a Class of Formulas.

Huub M. M. ten Eikelder, J. C. F. Wilmont

J. Symb. Comput., 1991