Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
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
Kento Tsubouchi, Yosuke Mitsuhashi, et al.
npj Quantum Information
Oliver Bodemer
IBM J. Res. Dev
Thomas R. Puzak, A. Hartstein, et al.
CF 2007