Login / Signup
Undecidability and 1-types in intervals of the computably enumerable degrees.
Klaus Ambos-Spies
Denis R. Hirschfeldt
Richard A. Shore
Published in:
Ann. Pure Appl. Log. (2000)
Keyphrases
</>
information retrieval
artificial intelligence
database systems
image sequences