Preface to the special issue on the 11th international conference on graph transformation

DOI10.1016/J.JLAMP.2020.100525zbMath1433.68022OpenAlexW3001814250WikidataQ126289455 ScholiaQ126289455MaRDI QIDQ1987730

No author found.

Publication date: 15 April 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100525

zbMATH Keywords

graph transformationgraph languagesconcurrent graph rewritingconflicts and dependencies in graph transformation

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)

Uses Software

• CoReS

Cites Work

• Graph transformation through graph surfing in reaction systems
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• A calculus of concurrent graph-rewriting processes
• CoReS: a tool for computing core graphs via SAT/SMT solvers

This page was built for publication: Preface to the special issue on the 11th international conference on graph transformation