"Designing, Understanding, and Analyzing Unconventional Computation: Th" by Vladik Kreinovich

Menu

Skip to main content

Departmental Technical Reports (CS)

Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics

Vladik Kreinovich, The University of Texas at El PasoFollow

Publication Date

1-2011

Comments

Technical Report: UTEP-CS-11-02

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.

Find in your library

Included in

Computer Engineering Commons

COinS