Modeling and Verifying Graph Transformations in Proof Assistants.

Martin Strecker

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

graph structure
random walk
graph matching
graph model
neural network
modeling language
graph representation
graph theoretic
information retrieval
genetic algorithm
knn
intelligent agents
directed graph
graph theory