Network Rewriting I: The Foundation

arXiv1204.2421MaRDI QIDQ6232255

Lars Hellström

Publication date: 11 April 2012

Mathematics Subject Classification ID

16S15: Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)

15A69: Multilinear algebra, tensor calculus

06F25: Ordered rings, algebras, modules