Treffer 1 – 6 von 6 für Suche 'Plump, Detlef', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Termination of graph rewriting is undecidable

    Termination of graph rewriting is undecidable von Plump, Detlef

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Hierarchical graph transformation

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

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Term graph narrowing

    Term graph narrowing von Habel, Annegret, Plump, Detlef

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


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

    Evaluation of functional expressions by hypergraph rewriting von Plump, Detlef

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Double pushout graph transformation revisited

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

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: