scientific article; zbMATH DE number 431767

MaRDI QIDQ3138543zbMATH OpenFDO

Authors Yves Lafont

Publication date 11 November 1993

zbMATH Keywords

2-dimensional rewritingcategory of finite setscomplete rewrite systemfinitely presentable 2-monoidPenrose diagramssymbolic computationword problems

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 130889
• Computing critical pairs in 2-dimensional rewriting systems
• scientific article; zbMATH DE number 517043
• Algebra and geometry of rewriting
• Towards 3-dimensional rewriting theory

Cited in

(13)

• Classes of finite relations as initial abstract data types. II
• Minimality of the system of seven equations for the category of finite sets
• Towards an algebraic theory of Boolean circuits.
• Termination orders for three-dimensional rewriting
• GS theories: a syntax for higher-order graphs
• Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks
• scientific article; zbMATH DE number 130889 (Why is no real title available?)
• scientific article; zbMATH DE number 517043 (Why is no real title available?)
• Optimal reductions in interaction systems
• Computing critical pairs in 2-dimensional rewriting systems
• Towards 3-dimensional rewriting theory
• Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
• Higher-dimensional word problems with applications to equational logic

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 Q3138543)