Coq formalization of the higher-order recursive path ordering.
Adam KoprowskiPublished in: Appl. Algebra Eng. Commun. Comput. (2009)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- lambda calculus
- multi valued
- shortest path
- markov random field
- operational semantics
- low order
- knowledge representation
- markov models
- endpoints
- formal model
- website
- information retrieval
- neural network
- partial order
- search engine
- graphical models
- formal methods
- data sets
- expert systems
- wireless sensor networks
- lower order
- database