785 search results - page 1 / 157 » An Algebra of Hierarchical Graphs |
TGC
2010
Springer
13 years 2 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
RELMICS
1997
Springer
13 years 9 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
CUZA
2010
13 years 2 months ago
2010
TAGT
1998
Springer
13 years 9 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...