Conference paper
Patterning of highly conducting polyaniline films
T. Graham, A. Afzali, et al.
Microlithography 2000
In this paper we solve the decision problem of a certain second- order mathematical theory and apply it to obtain a large number of decidability results. The method of solution involves the development of a theory of automata on infinite trees—a chapter in combinatorial mathematics which may be of independent interest.
T. Graham, A. Afzali, et al.
Microlithography 2000
D. Pohl, J.K. Gimzewski
Optics in Complex Systems 1990
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
John A. Hoffnagle, William D. Hinsberg, et al.
Microlithography 2003