Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics
Владик Крейнович · scholarworks - UTEP (The University of Texas at El Paso) · 2011
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.