Published in Applied Mathematical Sciences, 2012, Vol. 6, No. 13, pp. 629-644
Abstract
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing -- and should play -- an important role in the design, understanding, and analysis of unconventional computation.
Comments
Technical Report: UTEP-CS-11-02
Published in Applied Mathematical Sciences, 2012, Vol. 6, No. 13, pp. 629-644