From diagrammatic confluence to modularity
From MaRDI portal
Publication:1929228
DOI10.1016/j.tcs.2012.08.030zbMath1253.68197MaRDI QIDQ1929228
Jean-Pierre Jouannaud, Jiaxiang Liu
Publication date: 7 January 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.08.030
confluence; modularity; decreasing diagrams; rewriting modulo; cofinal derivations; local cliffs; local peaks
68Q42: Grammars and rewriting systems