Sciweavers

MSCS
2006
69views more  MSCS 2006»
13 years 10 months ago
Restricted jump interpolation in the d.c.e. degrees
It is shown that for any 2-computably enumerable Turing degree l, any computably enumerable degree a, and any Turing degree s, if l = 0 , l < a, s 0 , and s is c.e. in a, then...
Carl G. Jockusch Jr., Angsheng Li
MCU
2004
126views Hardware» more  MCU 2004»
14 years 8 days ago
Universality and Cellular Automata
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
Klaus Sutner