D.S. Turaga, K. Ratakonda, et al.
SCC 2006
Using 1947 work of Post showing that the word problem for semigroups is unsolvable, we explicitly exhibit an algebraic characterization of the bits of the halting probability Ω. Our proof closely follows a 1978 formulation of Post's work by M. Davis. The proof is self-contained and not very complicated.
D.S. Turaga, K. Ratakonda, et al.
SCC 2006
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Shu Tezuka
WSC 1991