Detlef Plump

Detlef Plump

Dr, Habilitation

Former affiliation
 https://orcid.org/0000-0002-1148-822X

Accepting PhD Students

Filter
Conference contribution

Search results

  • 1997

    Simplification Orders for Term Graph Rewriting

    Plump, D., 1997, Proceedings Mathematical Foundations of Computer Science (MFCS 1997). Springer, p. 458-467 (Lecture Notes in Computer Science; vol. 1295).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1996

    Graph Unification and Matching

    Plump, D. & Habel, A., 1996, Graph Grammars and Their Application to Computer Science, Selected Papers. Springer, p. 75-89 (Lecture Notes in Computer Science; vol. 1073).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 1994

    Critical Pairs in Term Graph Rewriting

    Plump, D., 1994, Proc. Mathematical Foundations of Computer Science (MFCS 1994). Springer, p. 556-566 (Lecture Notes in Computer Science; vol. 841).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File