From nominal to higher-order rewriting and back again.
Jesús DomínguezMaribel FernándezPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- higher order
- high order
- natural images
- markov random field
- rewriting systems
- pairwise
- rewrite rules
- conjunctive queries
- information systems
- markov models
- lower order
- query rewriting
- real world
- lambda calculus
- rewriting rules
- low order
- object recognition
- computer vision
- neural network
- conditional random fields
- datalog programs
- programming language
- regular path queries
- search engine
- queries using views
- presburger arithmetic