scientific article; zbMATH DE number 139987

MaRDI QIDQ4028346zbMATH OpenFDO

Authors Michael Johnson

Publication date 28 March 1993

zbMATH Keywords

description of rewriting systems in terms of category theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Towards 3-dimensional rewriting theory
• Categorical rewriting of term-like structures
• scientific article; zbMATH DE number 1086713
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
• Relating two categorical models of term rewriting

Cited in

(4)

• Categorical rewriting of term-like structures
• Rewriting modulo isotopies in pivotal linear (2,2)-categories
• Towards 3-dimensional rewriting theory
• Termination orders for three-dimensional rewriting

This page was built for publication:

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