Bisimulation Equivalences for Graph Grammars.

Paolo Baldan Andrea Corradini Ugo Montanari

Published in: Formal and Natural Computing (2002)

Keyphrases

graph grammars
context sensitive
connected components
context free
graph databases
parameter learning
information retrieval
knowledge base
production rules