On a Dynamic Logic for Graph Rewriting.

Mathias Winckel, Ralph Matthes

Browse the full ICTERI paper archive.