On the existence of a strong minimal pair.

George Barmpalias Mingzhong Cai Steffen Lempp Theodore A. Slaman

Published in: J. Math. Log. (2015)

Keyphrases

information systems
real world
high level
complementarity problems
image processing
object recognition
computer science
minimal subsets