嵌入表面图的一类
摘要：引言：一种用于重写面嵌入图的范畴形式主义被引入。这些图可在非对称环境中表示字符串图表，其中我们保证导线不相交。技术上的创新点是一种新的对图的双推出重写的公式，明确记录重写的边界。利用此边界结构，我们可以增加这些图的旋转系统，允许将表面拓扑结构纳入其中。 标题：面嵌入图的范畴形式主义下的重写研究
作者：Malin Altenm"uller, Ross Duncan
论文ID：2210.08914
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-01