Computing Critical Pairs in 2-Dimensional Rewriting Systems
From MaRDI portal
Publication:5389147
DOI10.4230/LIPIcs.RTA.2010.227zbMath1236.68139MaRDI QIDQ5389147
Publication date: 25 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8f45.html
unification; confluence; rewriting system; context; polygraph; critical pair; presentation of a category; compact 2-category
68Q42: Grammars and rewriting systems
Related Items
String diagram rewrite theory III: Confluence with and without Frobenius, Confluence of algebraic rewriting systems, 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