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
Incremental Update for Graph Rewriting
Pierre Boutillier, Thomas Ehrhard, and Jean Krivine
(Harvard Medical School, USA; University of Paris Diderot, France; CNRS, France; amp, France)
Publisher's Version
Preprint

Authors:


Time stamp: 2019-07-22T23:25:38+02:00