Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

DOI10.2168/LMCS-6(3:8)2010zbMath1214.68184OpenAlexW2128802602MaRDI QIDQ2786124

Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Kumar Tiwari

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-6(3:8)2010

zbMATH Keywords

complexitydecidabilityterminationterm rewriting

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

This page was built for publication: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories