Higher-Order Superposition for Dependent Types.

Published in: RTA (1996)

Keyphrases

higher order
high order
pairwise
markov models
information retrieval
preprocessing
low order
data sets
databases
user interface