Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View.

Published in: CoRR (2023)

Keyphrases

theoretical basis
feature points
search engine
general theory
image sequences
theoretical analysis
theoretical framework
point sets
data mining
case study
multiple views
point correspondences
endpoints
simple examples
complexity theory