×

找到6个文档(结果1-6)

条件方程程序层次的地面收敛性和完备性。 (英语) Zbl 1514.68039号

Bae,Kyungmin(编辑),重写逻辑及其应用。2022年4月2日至3日,德国慕尼黑,第14届WRLA 2022国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13252, 191-211 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过归纳定理证明检查充分的完备性。 (英语) 兹比尔1514.68038

Bae,Kyungmin(编辑),重写逻辑及其应用。2022年4月2日至3日,德国慕尼黑,第14届WRLA 2022国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13252, 171-190 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(\mathbb{K})的完整语义及其对Isabelle的翻译。 (英语) Zbl 07500643号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。2021年9月8日至10日,哈萨克斯坦努尔苏尔坦,第18届国际学术讨论会,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12819, 152-171 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

初始有序代数中的方程公式和模式运算。 (英语) Zbl 1362.68053号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-27435-5/pbk;978-3-3169-27436-2/电子书)。计算机科学课堂讲稿9527,36-53(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段