×

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

最新的 引文 相关性
奥费尔·阿列利;安娜·扎曼斯基

引言：非经典逻辑-介于语义和证明理论之间（与阿诺·阿夫伦的工作有关）。 （英语） Zbl 07451996年

Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：斯普林格。Outst公司。控制日志。2021年1月21日至11日。
MSC公司：03年XX月 68倍
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}和\textit{A.Zamansky}，Outst。控制日志。21、1--11（2021；Zbl 07451996）
全文： DOI程序
Furio Honsell公司;玛丽娜·莱妮莎;路易吉·利科里

定义逻辑框架的框架。 （英语） Zbl 1277.03029号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，399-436（2007）。
MSC公司：03B70号 68甲18 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}等人，《电子》。理论注释。计算。科学。172399--436（2007年；Zbl 1277.03029）
全文： DOI程序
罗伯托·布鲁尼;Furio Honsell公司;玛丽娜·莱妮莎;马里诺·米库兰

比较逻辑框架和tile逻辑中的高阶编码。 （英语） Zbl 1268.68047号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62136-156（2002）。
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。理论注释。计算。科学。62、136--156（2002年；Zbl 1268.68047）
全文： DOI程序
马里诺·米库兰

在语境理论中发展（lambda）演算的（元）理论。 （英语） Zbl 1268.68050号

Ambler，S.J.（编辑）等人，MERLIN 2001。2001年6月18日，意大利锡耶纳，《关于变量绑定语言的机械化推理研讨会论文集》（与IJCAR 2001相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》58，第1期，37-58（2001）。
MSC公司：68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Miculan}，电子。理论注释。计算。科学。58，第1号，37--58（2001；Zbl 1268.68050）
全文： DOI程序
塞恩·马修斯

使用归纳定义的简单结果关系的实际实现。 （英语） Zbl 1430.68417号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 306-320 (1997).
MSC公司：68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Matthews}，莱克特。注释计算。科学。1249306-320（1997年；Zbl 1430.68417）
全文： DOI程序
弗兰克，普芬宁

逻辑框架的实践。 （英语） Zbl 1508.68075号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 119-134 (1996).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}，莱克特。注释计算。科学。1059、119--134（1996年；Zbl 1508.68075）
全文： DOI程序
Furio Honsell公司;马里诺·米库兰

一种动态逻辑的自然演绎方法。 （英语） Zbl 1434.03084号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1158, 165-182 (1996).
MSC公司：03B70号 03B60号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}和\textit{M.Miculan}，莱克特。注释计算。科学。1158165-182（1996年；Zbl 1434.03084）
全文： DOI程序 链接
戴维·巴恩斯;塞恩·马修斯

在归纳定义上构建元理论。 （英语） Zbl 1412.68205号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 171-185 (1996).
MSC公司：68吨15 03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.盆地}和\textit{S.马修斯}，莱克特。注释计算。科学。1104171--185（1996年；Zbl 1412.68205）
全文： DOI程序
马里诺·米库兰

具有明确假设的结构操作语义的表达能力。 （英语） Zbl 1527.68123号

Barendregt，Henk（编辑）等人，《93年类型》。校样和程序的类型。国际研讨会，荷兰奈梅亨，1993年5月24日至28日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。806、263-290（1994）中所述。
MSC公司：68问题55 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Miculan}，莱克特。注释计算。科学。806263-290（1994年；Zbl 1527.68123）
全文： DOI程序 链接
大卫·皮姆;林肯·瓦伦

研究一阶相关函数类型系统的证明搜索。 （英语） Zbl 1509.03048号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 236-250 (1990).
MSC公司：03B35型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Pym}和\textit{L.Wallen}，莱克特。注释计算。科学。449236-250（1990年；Zbl 1509.03048）
全文： DOI程序
罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基

LF中的逻辑表示。报告正在进行的工作。 （英语） Zbl 1496.03055号

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 250-272 (1989).
MSC公司：03B38型 03B35型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Harper｝等人，Lect。注释计算。科学。389250--272（1989年；Zbl 1496.03055）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件