Login / Signup

Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.

H. J. Sander BrugginkBarbara KönigDennis NolteHans Zantema
Published in: ICGT (2015)
Keyphrases
  • graph transformation
  • intelligent systems
  • database
  • management system
  • distributed systems
  • databases
  • artificial intelligence
  • search space
  • learning systems
  • graph matching
  • graph representation