摘要：逻辑程序的基于良基的语义中的签名的应用.
作者：Michael J. Maher
论文ID：2102.06495
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中