Robert C. Durbeck
IEEE TACON
Criteria are suggested for determining if a statement is a folk theorem. The ideas are then illustrated with a detailed example from the theory of programming. © 1980, ACM. All rights reserved.
Robert C. Durbeck
IEEE TACON
Leo Liberti, James Ostrowski
Journal of Global Optimization
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989