Publication:5389147
From MaRDI portal
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