By the same authors

Checking Graph-Transformation Systems for Confluence

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Standard

Checking Graph-Transformation Systems for Confluence. / Plump, Detlef .

Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. ed. / Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump. Technische Universität Berlin, 2010. (Electronic Communications of the EASST; Vol. 26).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Harvard

Plump, D 2010, Checking Graph-Transformation Systems for Confluence. in F Drewes, A Habel, B Hoffmann & D Plump (eds), Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electronic Communications of the EASST, vol. 26, Technische Universität Berlin. https://doi.org/10.14279/tuj.eceasst.26.367.347

APA

Plump, D. (2010). Checking Graph-Transformation Systems for Confluence. In F. Drewes, A. Habel, B. Hoffmann, & D. Plump (Eds.), Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday (Electronic Communications of the EASST; Vol. 26). Technische Universität Berlin. https://doi.org/10.14279/tuj.eceasst.26.367.347

Vancouver

Plump D. Checking Graph-Transformation Systems for Confluence. In Drewes F, Habel A, Hoffmann B, Plump D, editors, Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Technische Universität Berlin. 2010. (Electronic Communications of the EASST). https://doi.org/10.14279/tuj.eceasst.26.367.347

Author

Plump, Detlef . / Checking Graph-Transformation Systems for Confluence. Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. editor / Frank Drewes ; Annegret Habel ; Berthold Hoffmann ; Detlef Plump. Technische Universität Berlin, 2010. (Electronic Communications of the EASST).

Bibtex - Download

@inbook{d3eea1dc935644cb99a47d7687f01871,
title = "Checking Graph-Transformation Systems for Confluence",
author = "Detlef Plump",
year = "2010",
doi = "10.14279/tuj.eceasst.26.367.347",
language = "English",
series = "Electronic Communications of the EASST",
publisher = "Technische Universit{\"a}t Berlin",
editor = "Drewes, {Frank } and Annegret Habel and Berthold Hoffmann and Detlef Plump",
booktitle = "Manipulation of Graphs, Algebras and Pictures",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Checking Graph-Transformation Systems for Confluence

AU - Plump, Detlef

PY - 2010

Y1 - 2010

U2 - 10.14279/tuj.eceasst.26.367.347

DO - 10.14279/tuj.eceasst.26.367.347

M3 - Chapter (peer-reviewed)

T3 - Electronic Communications of the EASST

BT - Manipulation of Graphs, Algebras and Pictures

A2 - Drewes, Frank

A2 - Habel, Annegret

A2 - Hoffmann, Berthold

A2 - Plump, Detlef

PB - Technische Universität Berlin

ER -