B. Wagle
EJOR
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.
B. Wagle
EJOR
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
György E. Révész
Theoretical Computer Science