Login / Signup

Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)

Patrick Bahr
Published in: TERMGRAPH (2013)
Keyphrases
  • extended abstract
  • rewriting systems
  • rewriting rules
  • graph model
  • xml documents
  • knowledge management
  • description logics