Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
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.
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Elliot Linzer, M. Vetterli
Computing
B. Wagle
EJOR