EPTCS 110 - TERMGRAPH 2013
Rachid Echahed, Detlef Plump (Eds.): Proceedings 7th International Workshop on Computing with Terms and Graphs. 2013 EPTCS 110 [ contents ]- Patrick Bahr: Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract). ... 17-28
- Manfred Schmidt-Schauß: Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract). ... 29-40
- Beniamino Accattoli: Evaluating functions as processes. ... 41-55
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team