A de Bruijn Notation for Higher-Order Rewriting.
Eduardo BonelliDelia KesnerAlejandro RíosPublished in: RTA (2000)
Keyphrases
- higher order
- high order
- natural images
- rewrite rules
- pairwise
- markov random field
- graph structure
- conjunctive queries
- query rewriting
- visual languages
- modeling language
- queries using views
- lambda calculus
- markov models
- data sets
- datalog programs
- conditional random fields
- lower order
- query answering
- rewriting rules
- special case
- termination analysis
- rewriting systems
- website