Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
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.
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Nanda Kambhatla
ACL 2004
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990