Confluence up to Garbage

Detlef Plump; Graham Campbell

doi:10.1007/978-3-030-51372-6\_2

Confluence up to Garbage

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings 13th International Conference on Graph Transformation (ICGT 2020)
Editors	Fabio Gadducci, Timo Kehrer
Publisher	Springer
Pages	20-37
Number of pages	18
Volume	12150
DOIs	https://doi.org/10.1007/978-3-030-51372-6\_2
Publication status	Published - 25 Jun 2020

Publication series

Name	Lecture Notes in Computer Science

Bibliographical note

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.

Access to Document

10.1007/978-3-030-51372-6\_2Licence: Unspecified

Confluence up to Garbage
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.
Accepted author manuscript, 499 KB

http://www.cs.york.ac.uk/plasma/publications/pdf/CampbellPlump.ICGT.20.pdfLicence: Unspecified

Cite this

@inproceedings{e3785c592a2f4420975d5e9a0ce80e89,

title = "Confluence up to Garbage",

author = "Detlef Plump and Graham Campbell",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",

year = "2020",

month = jun,

day = "25",

doi = "10.1007/978-3-030-51372-6\_2",

language = "English",

volume = "12150",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "20--37",

editor = "Fabio Gadducci and Timo Kehrer",

booktitle = "Proceedings 13th International Conference on Graph Transformation (ICGT 2020)",

address = "Germany",

}

TY - GEN

T1 - Confluence up to Garbage

AU - Plump, Detlef

AU - Campbell, Graham

N1 - 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.

PY - 2020/6/25

Y1 - 2020/6/25

U2 - 10.1007/978-3-030-51372-6\_2

DO - 10.1007/978-3-030-51372-6\_2

M3 - Conference contribution

VL - 12150

T3 - Lecture Notes in Computer Science

SP - 20

EP - 37

BT - Proceedings 13th International Conference on Graph Transformation (ICGT 2020)

A2 - Gadducci, Fabio

A2 - Kehrer, Timo

PB - Springer

ER -