EPTCS 48 - TERMGRAPH 2011
Rachid Echahed (Ed.): Proceedings 6th International Workshop on Computing with Terms and Graphs. 2011 EPTCS 48 [ contents ]- Thomas Bellet, Agnès Arnould, Pascale Le Gall: Rule-based transformations for geometric modelling. ... 20-37
- Wolfram Kahl: Dependently-Typed Formalisation of Typed Term Graphs. ... 38-53
- Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud: PORGY: Strategy-Driven Interactive Transformation of Graphs. ... 54-68
- Jan Rochel, Clemens Grabmayer: Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress). ... 85-100
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