ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Graph Rewriting
ESOP
Sal B
Confluence of Graph Rewriting with Interfaces
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, and Fabio Zanasi
(ENS Lyon, France; University of Pisa, Italy; Radboud University Nijmegen, Netherlands; University of Southampton, UK; University College London, UK)
Publisher's Version

Authors:


Time stamp: 2019-07-18T11:15:38+02:00