Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
劳伦斯·保尔森。划分演算中的一个形式化定理。纯逻辑与应用逻辑年鉴,175(第1版,B部分):103246,2024年1月。 [doi]
缺少摘要。