Login / Signup

Infinitary Term Graph Rewriting is Simple, Sound and Complete.

Patrick Bahr
Published in: RTA (2012)
Keyphrases
  • graph model
  • directed acyclic graph
  • rewriting systems
  • conjunctive queries
  • graph databases
  • text classification
  • random walk