Weakly Represented Families in Reverse Mathematics.

Rupert Hölzl Dilip Raghavan Frank Stephan Jing Zhang

Published in: Computability and Complexity (2017)

Keyphrases

computer science
databases
information technology
database
computer vision
objective function
helmholtz principle