By the same authors

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publicationSoftware Technologies: Applications and Foundations
DateAccepted/In press - 25 May 2016
DatePublished (current) - 3 Dec 2016
Pages145-160
Number of pages16
PublisherSpringer
EditorsPaolo Milazzo, Manuel Wimmer, Dániel Varró
Volume9946
Original languageEnglish
ISBN (Electronic)978-3-319-50230-4
ISBN (Print)978-3-319-50229-8

Publication series

NameLecture Notes in Computer Science
Volume9946
ISSN (Print)0302-9743

Bibliographical note

© 2016, Springer. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations