1940 search results - page 38 / 388 » Graph Transformation with Variables |
101
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Many real networks can be understood as two complementary networks with two kind of nodes. This is the case of metabolic networks where the first network has chemical ...
133
click to vote
AAECC
1993
Springer
15 years 6 months ago
1993
Springer
We give estimates for exponential sums over finite fields in several variables. We study the case where the phase is either quadratic or more generally invariant under the action ...
134
Voted
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
116
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
131
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...