John M. Boyer, Charles F. Wiecha
DocEng 2009
Paper
On Folk Theorems
Abstract
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.
Related
Raymond Wu, Jie Lu
ITA Conference 2007
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Elliot Linzer, M. Vetterli
Computing