( en | de | ru )

 

Disambiguierung von "Plump, Detlef"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Double-Pushout Approach with Injective Matching

, , und . (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Detlef Plump

Wilhelm Plump

Bernhard Plümper

Dirk Plumpe

Gottfried Plumpe

 

Weitere Publikationen von Autoren mit dem selben Namen

Double-Pushout Approach with Injective Matching, , und . (2000)Fast rule-based graph programs., , und . Sci. Comput. Program., (2022)Fast Rule-Based Graph Programs., , und . CoRR, (2020)Preface to the special issue on the 10th International Conference on Graph Transformation., und . J. Log. Algebraic Methods Program., (2019)Double-Pushout Approach with Injective Matching, , und . (2000)Confluence up to Garbage., und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 20-37. Springer, (2020)Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.. CTRS, Volume 656 von Lecture Notes in Computer Science, Seite 97-112. Springer, (1992)Verifying a Copying Garbage Collector in GP 2., und . STAF Workshops, Volume 11176 von Lecture Notes in Computer Science, Seite 479-494. Springer, (2018)Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem., und . ICGT, Volume 13961 von Lecture Notes in Computer Science, Seite 123-142. Springer, (2023)Preface., und . TERMGRAPH, Volume 72 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2002)