Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting

DOI10.4204/eptcs.380.7arXiv2209.09509MaRDI QIDQ6150149

Unnamed Author, Amar Hadzihasanovic

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.09509

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Higher-dimensional word problems with applications to equational logic
• Graph isomorphism, general remarks
• The algebra of directed complexes
• Polygraphic programs and polynomial-time functions
• Data structures for quasistrict higher categories
• Graph isomorphism in quasipolynomial time [extended abstract]

This page was built for publication: Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting