A Logic for Analyzing Abstractions of Graph Transformation Systems.

Paolo Baldan Barbara König Bernhard König

Published in: SAS (2003)

Keyphrases

graph transformation
computer systems
complex systems
digital circuits
machine learning
social networks
information systems
relational databases
hidden markov models
building blocks
learning systems
retrieval systems