×

找到7个文档（结果1-7）

最新的 引文 关联
桑德拉·阿尔维斯;迪莉娅·凯斯纳;丹尼尔·文图拉

对模式匹配的定量理解。 （英语） Zbl 07756108号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020年）。
理学硕士：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108）
全文： 内政部 arXiv公司
威廉·曼斯基;霍诺雷，沃尔夫;安德鲁·W·阿佩尔。

将高阶分离逻辑连接到外部一阶世界。 （英语） Zbl 1508.68070号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075428-455（2020年）。
理学硕士：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Mansky}等人，Lect。注释计算。科学。12075，428-455（2020；Zbl 1508.68070）
全文： 内政部
OA许可证
莫滕·克罗格·杰斯佩森;阿明·蒂曼尼;玛丽特·埃德娜·奥伦布施;西蒙·奥德谢德·格雷格森;拉尔斯·比克达尔

Aneris：分布式系统模块化推理的机械化逻辑。 （英语） Zbl 1508.68246号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 336-365 (2020).
理学硕士：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Krogh-Jespersen}等人，Lect。注释计算。科学。12075、336--365（2020年；Zbl 1508.68246）
全文： 内政部
OA许可证
悉达赫克里希纳;亚历山大·萨默斯。;托马斯·怀斯

全局图属性的局部推理。 （英语） Zbl 1508.68065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 308-335 (2020).
理学硕士：68号30 03B70号 68第05页 60年第68季度 68升10
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishna}等人，Lect。注释计算。科学。12075、308--335（2020年；Zbl 1508.68065）
全文： 内政部 arXiv公司
OA许可证
阿莱西奥·曼苏蒂

树上的辅助逻辑：关于以可达性和子模型推理为特征的逻辑的高耸性。 （英语） Zbl 1506.03076号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 462-481 (2020).
理学硕士：03B70号 03B45号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Mansutti}，莱克特。注释计算。科学。12077462-481（2020年；兹bl 1506.03076）
全文： 内政部
OA许可证

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

主字段

全部的 前3名

软件