Detlef Plump

Search results

• 1995

  On Termination of Graph Rewriting

  Plump, D., 1995, p. 88--100.

  Research output: Contribution to conference › Paper

• Unification, Rewriting, and Narrowing on Term Graphs

  Habel, A. & Plump, D., 1995.

  Research output: Contribution to conference › Paper

• 1993

  Collapsed Tree Rewriting: Completeness, Confluence, and Modularity

  Plump, D., 1993, p. 97--112.

  Research output: Contribution to conference › Paper

• 1991

  Graph-Reducible Term Rewriting Systems

  Plump, D., 1991, p. 622--636.

  Research output: Contribution to conference › Paper

• Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems

  Plump, D., 1991, p. 307--317.

  Research output: Contribution to conference › Paper › peer-review

  Open Access
• 1988

  Jungle Evaluation

  Habel, A., Kreowski, H.-J. & Plump, D., 1988, p. 92-112.

  Research output: Contribution to conference › Paper › peer-review

• Jungle Evaluation for Efficient Term Rewriting

  Hoffmann, B. & Plump, D., 1988, p. 191--203.

  Research output: Contribution to conference › Paper