Harnessing First Order Termination Provers Using Higher Order Dependency Pairs.

Carsten Fuhs Cynthia Kop

Published in: FroCoS (2011)

Keyphrases

higher order
pairwise
term rewrite systems
term rewriting
theorem prover
theorem proving
natural images
high order
markov random field
collective intelligence
low order
dependency relations
first order logic
rewrite systems
conditional random fields
lower order
genetic algorithm