default search action

combined dblp search
author search
venue search
publication search

ask others

6th TERMGRAPH 2011: Saarbrücken, Germany

> Home > Conferences and Workshops > TERMGRAPH

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2268
Rachid Echahed:
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. EPTCS 48, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2651
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2651
Andrea Corradini, Frank Drewes:
Term Graph Rewriting and Parallel Term Rewriting. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2652
Thomas Bellet, Agnès Arnould, Pascale Le Gall:
Rule-based transformations for geometric modelling. 20-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2653
Wolfram Kahl:
Dependently-Typed Formalisation of Typed Term Graphs. 38-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2654
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2654
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2655
Sandra Alves, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. 69-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2656
Jan Rochel, Clemens Grabmayer:
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress). 85-100

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.