György E. Révész
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
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
M.F. Cowlishaw
IBM Systems Journal