Nimrod Megiddo
Journal of Symbolic Computation
A generalized theory of incompletely specified machines is described in whichspecification of various alternative outputs is possible for any given input. Also, certain inputs may be prohibited. Algorithms for state reduction are given. © 1972 Academic Press, Inc.
Nimrod Megiddo
Journal of Symbolic Computation
T. Graham, A. Afzali, et al.
Microlithography 2000
Robert Manson Sawko, Malgorzata Zimon
SIAM/ASA JUQ
George Markowsky
J. Math. Anal. Appl.