Inequational Deduction as Term Graph Rewriting.
Andrea CorradiniFabio GadducciWolfram KahlBarbara KönigPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- rewriting systems
- graph model
- rewriting rules
- graph representation
- graph structure
- bipartite graph
- structured data
- theorem proving
- graph structures
- graph theoretic
- graph matching
- connected components
- rewrite rules
- weighted graph
- automated theorem proving
- graph construction
- edge weights
- directed acyclic graph
- graph databases
- graph mining
- document representation
- search engine
- link analysis
- inference rules
- conjunctive queries
- query evaluation
- co occurrence