概率重写与渐近行为:关于终止和唯一正规形式

摘要:概率重写的结果唯一性研究及比较,用于概率计算的操作分析工具的开发

作者:Claudia Faggian

论文ID:1804.05578

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2023-06-22

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