A Rewriting Calculus for Cyclic Higher-order Term Graphs.
Clara BertolissiPaolo BaldanHoratiu CirsteaClaude KirchnerPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- higher order
- rewriting rules
- lambda calculus
- graph model
- natural images
- pairwise
- high order
- directed graph
- low order
- conditional random fields
- graph matching
- graph theory
- lower order
- query rewriting
- graph theoretic
- algebraic structure
- graph mining
- graph databases
- rewrite rules
- undirected graph
- spanning tree
- relational databases