摘要:基于Eilenberg-Moore代数的代数语言理论的发展:支持具有无限多种类的代数并与逻辑相连接
作者:Achim Blumensath
论文ID:2006.08316
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2023-06-22
PDF 下载: 英文版 中文版pdf翻译中