GG
2008
Springer
13 years 5 months ago
2008
Springer
GG
2008
Springer
13 years 5 months ago
2008
Springer
GG
2008
Springer
13 years 5 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
GG
2008
Springer
13 years 5 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...
GG
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...