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-04-22T09:32:00+02:00