Nimrod Megiddo
Journal of Symbolic Computation
We present a new "character-string" oriented dialect of LISP in which the natural LISP halting probability asymptotically has maximum possible LISP complexity. © 1992.
Nimrod Megiddo
Journal of Symbolic Computation
Jonathan Ashley, Brian Marcus, et al.
Ergodic Theory and Dynamical Systems
Heng Cao, Haifeng Xi, et al.
WSC 2003
M. Tismenetsky
International Journal of Computer Mathematics