3 search results - page 1 / 1 » Church's thesis is questioned by new calculation paradigm |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
CTRS
1987
13 years 11 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
WSPI
2008
13 years 8 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...