Login / Signup
On the Definability of the double jump in the computably Enumerable Sets.
Peter A. Cholak
Leo Harrington
Published in:
J. Math. Log. (2002)
Keyphrases
</>
propositional logic
database
information retrieval
computer vision
set theoretic