J. C. F. Wilmont

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 Huub M. M. ten Eikelder, J. C. F. Wilmont: Normal Forms for a Class of Formulas. J. Symb. Comput. 12(2): 143-160 (1991)

	1991
1		Huub M. M. ten Eikelder, J. C. F. Wilmont: Normal Forms for a Class of Formulas. J. Symb. Comput. 12(2): 143-160 (1991)

Coauthor Index