Graph Edit Operation

From GM-RKB
(Redirected from graph edit operation)
Jump to navigation Jump to search

A Graph Edit Operation is an Edit Operation that can transform one Graph into some other Graph.



References

1998

1997