Computing Critical Pairs in 2-Dimensional Rewriting Systems

DOI10.4230/LIPIcs.RTA.2010.227zbMath1236.68139OpenAlexW2963644874MaRDI QIDQ5389147

Samuel Mimram

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8f45.html

zbMATH Keywords

unificationconfluencerewriting systemcontextpolygraphcritical pairpresentation of a categorycompact 2-category

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

Higher-dimensional normalisation strategies for acyclicity ⋮ Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Polygraphs of finite derivation type ⋮ String diagram rewrite theory III: Confluence with and without Frobenius ⋮ Confluence of algebraic rewriting systems

This page was built for publication: Computing Critical Pairs in 2-Dimensional Rewriting Systems