Adhesivity Is Not Enough: Local Church-Rosser Revisited

DOI10.1007/978-3-642-22993-0_8zbMath1343.68126OpenAlexW180420728MaRDI QIDQ3088028

Paweł Sobociński, Fabio Gadducci, Paolo Baldan

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_8

zbMATH Keywords

double-pushout rewritingadhesive and extensive categorieslocal Church-Rosser propertyparallel and sequential independence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Confluence of Graph Rewriting with Interfaces ⋮ -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

This page was built for publication: Adhesivity Is Not Enough: Local Church-Rosser Revisited