Wild theories with o-minimal open core.

Philipp Hieronymi Travis Nell Erik Walsberg

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

unsatisfiable cores
computational models
databases
image segmentation
theoretical framework
domain theory
design theory