用ZH-Calculus描绘计数约简

摘要:ZH-图计算在计数问题中的应用及其相关问题的图形化规约

作者:Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering

论文ID:2304.02524

分类:Computational Complexity

分类简称:cs.CC

提交时间:2023-09-01

PDF 下载: 英文版 中文版pdf翻译中