Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
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
Robert C. Durbeck
IEEE TACON
Conference paper
FPGA-based coprocessor for text string extraction
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
G. Ramalingam
Theoretical Computer Science