Confluence of Graph Rewriting with Interfaces.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Browse the full ESOP paper archive.