Tuesday, October 27, 2009

A correct implementation for the 'halts' function in the Buddhist context

Yields a correct answer for all programs P.
halts P = 無
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)