scientific article; zbMATH DE number 139987

zbMATH Open0759.68046MaRDI QIDQ4028346FDOQ4028346

Authors: Michael Johnson 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

description of rewriting systems in terms of category theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

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

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)