3 search results - page 1 / 1 » Church's thesis is questioned by new calculation paradigm |
39
Voted
CORR
2006
Springer
14 years 9 months ago
2006
Springer
CTRS
1987
15 years 1 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
14 years 11 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...