海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Graph Transformations in Computer Science Volume 776 || Guaranteeing safe destructive updates through a type system with uniqueness information for graphsSchneider, Hans Jürgen; Ehrig, Hartmut · 1994