Search Results - Plump, Detlef

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

    Termination of graph rewriting is undecidable
    by Plump, Detlef

    Published 1997
    Book


    Saved in:
  2. 2
    Cover Image

    Double pushout graph transformation revisited
    by Habel, Annegret, Müller, Jürgen, Plump, Detlef

    Published 1999
    Book


    Saved in:
  3. 3
    Cover Image

    Hierarchical graph transformation
    by Drewes, Frank, Hoffmann, Berthold, Plump, Detlef

    Published 2000
    Book


    Saved in:
  4. 4
    Cover Image

    Evaluation of functional expressions by hypergraph rewriting
    by Plump, Detlef

    Published 1993
    Table of Contents
    Thesis/Dissertation Book


    Saved in:
  5. 5
    Cover Image

    Term graph narrowing
    by Habel, Annegret, Plump, Detlef

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Graph transformation: 10th international conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings

    Published 2017
    Other Authors: “…Plump, Detlef…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: