Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
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
Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Conference paper
Association control in mobile wireless networks
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization