Checking Graph-Transformation Systems for Confluence

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

Original languageEnglish
Title of host publicationManipulation of Graphs, Algebras and Pictures
Subtitle of host publicationEssays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
EditorsFrank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
PublisherTechnische Universität Berlin
Number of pages16
DOIs
Publication statusPublished - 2010

Publication series

NameElectronic Communications of the EASST
Volume26

Cite this