Higher Order Quotients and their Implementation in Isabelle HOL.

Published in: TPHOLs (1997)

Keyphrases

higher order
theorem prover
higher order logic
natural deduction
natural images
theorem proving
database
multiscale
pairwise
markov random field
databases
information retrieval
clustering algorithm
high order
hardware implementation