G. Ramalingam
Theoretical Computer Science
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
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
B. Wagle
EJOR
Gal Badishi, Idit Keidar, et al.
IEEE TDSC