( en | de | ru )

 

Disambiguation of "Plump, Detlef"

Author of the publication

copydeleteadd this publication to your clipboard
Fast rule-based graph programs.

, , and . Sci. Comput. Program., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Detlef Plump

Wilhelm Plump

Dirk Plumpe

Bernhard Plümper

Hubertus Augustinus Matthäus Plümpe

 

Other publications of authors with the same name

Double-Pushout Approach with Injective Matching, , and . (2000)Preface to the special issue on the 10th International Conference on Graph Transformation., and . J. Log. Algebraic Methods Program., (2019)Fast Rule-Based Graph Programs., , and . CoRR, (2020)Double-Pushout Approach with Injective Matching, , and . (2000)Fast rule-based graph programs., , and . Sci. Comput. Program., (2022)Verifying Graph Programs with First-Order Logic., and . GCM@STAF, volume 330 of EPTCS, page 181-200. (2020)Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.. CTRS, volume 656 of Lecture Notes in Computer Science, page 97-112. Springer, (1992)Confluence up to Garbage., and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 20-37. Springer, (2020)Preface., and . TERMGRAPH, volume 72 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2002)Verifying a Copying Garbage Collector in GP 2., and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 479-494. Springer, (2018)