Formalizing Higher-Order Termination in Coq.

Deivid Vale Niels van der Weide

Published in: CoRR (2021)

Keyphrases

higher order
theorem prover
high order
term rewriting
natural images
low order
markov random field
pairwise
markov models
formal methods
rewrite systems
data sets
feature selection
multiscale
conditional random fields
termination analysis
lower order
active rules
information systems
computer vision