Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/dagstuhl/SmetsersBEP93
AU - Smetsers, Sjaak
AU - Barendsen, Erik
AU - Eekelen, Marko C. J. D. van
AU - Plasmeijer, Marinus J.
TI - Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.
BT - Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings
SP - 358
EP - 379
PY - 1993//
DO - 10.1007/3-540-57787-4_23
UR - https://doi.org/10.1007/3-540-57787-4_23
ER -
