Safety of Strictness Analysis via Term Graph Rewriting.

David Clark Chris Hankin Sebastian Hunt

Published in: SAS (2000)

Keyphrases

statistical analysis
data analysis
image analysis
neural network
genetic algorithm
graph model
graph representation
social networks
co occurrence
structured data
bipartite graph
citation graph