Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
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
G. Ramalingam
Theoretical Computer Science
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021