M. Tismenetsky
International Journal of Computer Mathematics
Paper
Decidability of second-order theories and automata on infinite trees
Related
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Conference paper
Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Conference paper
Isotropic treatment of EMF effects in advanced photomasks
Jaione Tirapu Azpiroz, Alan E. Rosenbluth, et al.
SPIE Photomask Technology + EUV Lithography 2009