关于关系程序逻辑中的单位子模式的差异

摘要:关于一种支持通用计算效果和差异的关系程序逻辑的研究

作者:Tetsuya Sato and Shin-ya Katsumata

论文ID:2206.05716

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-08-28

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