Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
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.
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009