Algebraic characterizations for reduction systems

MaRDI QIDQ5178944zbMATH OpenFDO

Authors Anjeza Krakulli, Elton Pasku

Publication date 18 March 2015

zbMATH Keywords

\( \lambda \)-confluenceconfluenceexact colimitfiltered categorymonoid presentationreduction systemtermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Systems of reductions
• scientific article; zbMATH DE number 752977
• Confluence of the lambda calculus with left-linear algebraic rewriting
• On the Noetherian properties of reduction system of words
• Abstract abstract reduction

Cited in

(3)

• Reduction theorems for generalised block fusion systems
• Characterizations of reduction classes modulo oracle conditions
• On the Noetherian properties of reduction system of words

This page was built for publication: Algebraic characterizations for reduction systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178944)