Showing 1 - 6 results of 6 for search 'Plump, Detlef', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Termination of graph rewriting is undecidable

    Termination of graph rewriting is undecidable by Plump, Detlef

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Hierarchical graph transformation

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

    Published 2000
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Term graph narrowing

    Term graph narrowing by Habel, Annegret, Plump, Detlef

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Evaluation of functional expressions by hypergraph rewriting

    Evaluation of functional expressions by hypergraph rewriting by Plump, Detlef

    Published 1993
    Indexes
    Thesis Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Double pushout graph transformation revisited

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

    Published 1999
    Book Interlibrary loan Place Request


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

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

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: