Login / Signup

Using Rewriting Rules for Connection Graphs to Prove Theorems.

Chin-Liang ChangJames R. Slagle
Published in: Artif. Intell. (1979)
Keyphrases
  • rewriting rules
  • rewrite rules
  • transformation rules
  • structural properties
  • sparql queries
  • database
  • relational calculus