×

找到100个文档（结果1–100）

最新的 引文 关联
汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克

以认知行为历史为资源的分离逻辑。 （英语） Zbl 07810563号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 161-177 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。注释计算。科学。13923、161--177（2023；Zbl 07810563）
全文： 内政部
彼得·吉普森;塔德乌兹·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号

加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).
MSC公司：03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891）
全文： 内政部 arXiv公司
Vít省Punčochář;伊戈尔·塞德拉尔

与公告和常识相关的认知逻辑。 （英语） Zbl 07671028号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 342-361 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Punčochář｝和\textit｛I.Sedlár｝，勒克特。注释计算。科学。13040342--361（2021；Zbl 07671028）
全文： 内政部
简斯·佩格尔;弗洛里安·祖勒格

强大的分离逻辑。 （英语） Zbl 1473.03015号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 664-692 (2021).
MSC公司：03B70号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{J.Pagel}和\textit{F.Zuleger}，莱克特。注释计算。科学。12648664--692（2021；Zbl 1473.03015）
全文： 内政部 arXiv公司
OA许可证
阿莱西奥·曼苏蒂

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

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

直觉线性逻辑的ILLTP库。 （英语） Zbl 1486.03026号

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第292、118-132页（2019年）。
MSC公司：03B35型 68伏15 03楼52 03B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛C.Olarte｝等人，电子。程序。西奥。计算。科学。（EPTCS）292、118--132（2019年；Zbl 1486.03026）
全文： arXiv公司 链接
阿莱西奥·曼苏蒂

扩展命题分离逻辑以获得鲁棒性。 （英语） 兹比尔1528.03151

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第42条，第23页（2018年）。
MSC公司：03B70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Mansutti}，LIPIcs——莱布尼茨国际程序。通知。122，第42条，第23页（2018；Zbl 1528.03151）
全文： 内政部
西蒙·多尔蒂;大卫·皮姆

分离逻辑的Stone型对偶定理，通过其底层的束逻辑实现。 （英语） Zbl 1525.03094号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 101-118 (2018).
MSC公司：03B70号 03B47号 03G30型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Docherty}和\textit{D.Pym}，电子。注释Theor。计算。科学。336101-118（2018年；兹bl 1525.03094）
全文： 内政部
斯特凡·德姆里;艾蒂安·洛兹;丹尼斯·卢吉兹

关于符号堆模许可理论。 （英语） Zbl 1491.68050号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第25条，第14页（2018年）。
MSC公司：68号30 03B70号 68第05页 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}等人，LIPIcs——莱布尼茨国际程序。通知。93，第25条，第14页（2018；Zbl 1491.68050）
全文： 内政部
曹勤祥;圣地亚哥库埃拉;安德鲁·W·阿佩尔。

为分离逻辑丛林带来秩序。 （英语） Zbl 1503.03034号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 190-211 (2017).
MSC公司：03B70号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Cao}等人，Lect。注释计算。科学。10695、190--211（2017；Zbl 1503.03034）
全文： 内政部
塔德乌兹·利塔克;米里亚姆·波尔泽;乌尔里希·拉本斯坦

否定翻译和正常情态。 （英语） Zbl 1434.03074号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第27条，第18页（2017年）。
MSC公司：03B45 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Litak}等人，LIPIcs——莱布尼茨国际程序。通知。84，第27条，第18页（2017年；兹bl 1434.03074）
全文： 内政部
迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆

一种亚结构认知资源逻辑。 （英语） 兹比尔1480.03009

Ghosh，Sujata（编辑）等人，《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议，ICLA 2017。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10119, 106-122 (2017).
MSC公司：03B42号 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{D.Galmiche}等人，Lect。注释计算。科学。10119、106-122（2017年；Zbl 1480.03009）
全文： 内政部 链接
Hóu，Zhé;大卫·萨南;Tiu，Alwen先生;刘，杨

分离逻辑中断言的证明策略。 （英语） Zbl 1483.03004号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 285-303 (2017).
MSC公司：03B35型 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Hóu}等人，Lect。注释计算。科学。10499，285--303（2017；Zbl 1483.03004）
全文： 内政部 链接
彼得·吉普森

关系代数、幂等半环和广义群蕴涵代数。 （英语） Zbl 1486.03120号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 144-158 (2017).
MSC公司：03G15年 03G10年 05年6月 2016年60月
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}，莱克特。注释计算。科学。10226、144--158（2017；Zbl 1486.03120）
全文： 内政部 链接
安德鲁·雷诺兹;拉杜·奥西夫;塞尔维亚人，克里斯蒂娜

分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 （英语） Zbl 1484.68104号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。第18届国际会议，2017年VMCAI，2017年1月15日至17日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 462-482 (2017).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Reynolds}等人，Lect。注释计算。科学。10145462--482（2017；Zbl 1484.68104）
全文： 内政部 arXiv公司 哈尔
罗伊·戴克霍夫

自Gentzen以来的直觉决策程序。 （英语） Zbl 1439.03096号

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 245-267 (2016).
MSC公司：03财年03 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dyckhoff}，程序。计算。科学。申请。日志。28245--267（2016；Zbl 1439.03096）
全文： 内政部 链接
保罗·A·S·维洛索。;Sheila R.M.维洛索。

关于直觉模态逻辑的图。 （英语） Zbl 1394.03036号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，215-233（2016）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{P.A.S.Veloso}和\textit{S.R.M.Velooso}，电子。注释Theor。计算。科学。323215--233（2016；Zbl 1394.03036）
全文： 内政部
Hóu，Zhé;Tiu，Alwen先生

一阶抽象分离逻辑的完备性。 （英语） 兹比尔1485.03077

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 444-463 (2016).
MSC公司：03B70号 03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Hóu}和\textit{A.Tiu}，Lect。注释计算。科学。10017、444--463（2016；Zbl 1485.03077）
全文： 内政部 arXiv公司
杜鹃花拉德;何塞·弗拉戈索·桑托斯;菲利普·加德纳

DOM：规范和客户端推理。 （英语） Zbl 1483.68089号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 401-422 (2016).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Raad｝等人，Lect。注释计算。科学。10017、401-422（2016；Zbl 1483.68089）
全文： 内政部 链接
西蒙·多尔蒂;大卫·皮姆

直观的分层图形逻辑。 （英语） Zbl 1476.03024号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 469-486 (2016).
MSC公司：03B47号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Docherty}和\textit{D.Pym}，莱克特。注释计算。科学。9706469--486（2016；Zbl 1476.03024）
全文： 内政部 链接
约瑟夫·布杜

具有并行组合的命题动态逻辑的复杂性最优决策过程。 （英语） Zbl 1475.68075号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706373-388（2016年）。
MSC公司：68号30 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Boudou}，莱克特。注释计算。科学。9706373--388（2016；Zbl 1475.68075）
全文： 内政部 链接
菲利普·巴尔比亚尼;约瑟夫·布杜

具有分离并行组合的命题动态逻辑的Tableaux方法。 （英语） Zbl 1465.03050号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195，539-554（2015年）。
MSC公司：03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}和\textit{J.Boudou}，莱克特。注释计算。科学。9195、539--554（2015年；Zbl 1465.03050）
全文： 内政部 哈尔
Hóu，Zhé;拉杰夫·戈尔;Tiu，Alwen先生

具有所有连接词的分离逻辑中断言的自动定理证明。 （英语） Zbl 1465.03053号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 501-516 (2015).
MSC公司：03B35型 03B70号 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Hóu}等人，Lect。注释计算。科学。9195、501--516（2015；Zbl 1465.03053）
全文： 内政部 链接
Jean-RenéCourtault;汉斯·范·迪特马什;迪迪埃·加米歇

认知分离逻辑。 （英语） Zbl 1465.03060号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 156-173 (2015).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.-R.Courtault}等人，Lect。注释计算。科学。9160、156--173（2015；Zbl 1465.03060）
全文： 内政部
约瑟夫·布杜

具有分离并行组合的PDL的指数模型性质。 （英语） Zbl 1465.68045号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 129-140 (2015).
MSC公司：68号30 03B70号 19年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Boudou}，莱克特。注释计算。科学。9234、129--140（2015年；Zbl 1465.68045）
全文： 内政部 链接
科尔托，J.R。;D.加尔米奇。

动态资源属性的模式BI逻辑。 （英语） Zbl 1437.03116号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 134-148 (2013).
MSC公司：03B70号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{J.R.Courtault}和\textit{D.Galmiche}，莱克特。注释计算。科学。7734、134--148（2013年；Zbl 1437.03116）
全文： 内政部
迪迪埃·加米歇;丹尼尔·梅里

基于关联的双教学效度表征。 （英语） Zbl 1314.03029号

Bjørner，Nikolaj（编辑）等人，《自动推导——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。《人工智能讲义》，268-282（2011）。
MSC公司：03B55号 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Galmiche}和\textit{D.Méry}，莱克特。注释计算。科学。6803268--282（2011年；Zbl 1314.03029）
全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling）

通过组语义将Minsky机器直接模拟为经典的集群逻辑。 （英语） Zbl 1343.03021号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，369-387（2010）。
MSC公司：03B47号 03B25号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Larchey-Wendling}，电子。注释Theor。计算。科学。265369-387（2010年；Zbl 1343.03021）
全文： 内政部
詹姆斯·布罗瑟斯顿

聚束逻辑的统一显示证明理论。 （英语） Zbl 1343.03018号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265197-211（2010）。
MSC公司：03B47号 03B70号 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}，电子。注释Theor。计算。科学。265197-211（2010；Zbl 1343.03018）
全文： 内政部
郭恒;王汉平;徐忠元;曹永志

关于模型检查布尔BI。 （英语） Zbl 1257.03048号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771302-316（2009）。
MSC公司：03B47号 03B25号 03B70号 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Guo}等人，Lect。注释计算。科学。5771、302-316（2009年；Zbl 1257.03048）
全文： 内政部 链接
薛涛;宣其超

正最小谓词逻辑的证明搜索与反模型。 （英语） Zbl 1286.03042号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，87-102（2008）。
MSC公司：03B35型 03B25号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Xue}和\textit{Q.Xua}，电子。注释Theor。计算。科学。212、87-102（2008；Zbl 1286.03042）
全文： 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹

在万能的魔杖上。 （英语） Zbl 1157.03010号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，323-338（2008）。
MSC公司：03B70号 03B25号 68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Brochenin}等人，Lect。注释计算。科学。5213323-338（2008年；兹bl 1157.03010）
全文： 内政部 哈尔
杰森·里德

混合逻辑框架。 （英语） Zbl 1278.03049号

Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，135-148（2007）。
MSC公司：03B45 03B47号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Reed}，电子。注释Theor。计算。科学。174，第6号，135--148（2007；Zbl 1278.03049）
全文： 内政部
大卫·皮姆;克里斯·托夫茨

通过资源和过程进行系统建模：哲学、微积分、语义和逻辑。 （英语） Zbl 1277.68202号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，545-587（2007）。
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pym}和\textit{C.Tofts}，电子。注释Theor。计算。科学。172545--587（2007年；Zbl 1277.68202）
全文： 内政部
莱昂纳多·瓦纳（Leonardo B.Vana）。;马塞洛·达·S·科里亚

一种基于矩阵特征的Lambek微积分的表法。 （英语） Zbl 1264.03056号

de Queiroz，Ruy（编辑）等人，《第十届逻辑、语言、信息和计算研讨会论文集》（WoLLIC’2003），Ouro Preto，Minas Gerais，巴西，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，190-204（2003）。
MSC公司：03B47号
PDF格式BibTeX公司 XML格式引用
\textit{L.B.Vana}和\textit{M.daS.Corréa}，电子。注释Theor。计算。科学。84、190--204（2003年；Zbl 1264.03056）
全文： 内政部
弗朗西斯科·古铁雷斯;布拉斯·鲁伊斯

纯型系统一类序列演算中的截消。 （英语） Zbl 1264.03121号

de Queiroz，Ruy（ed.）等人，《逻辑、语言、信息和计算第十次研讨会论文集》（WoLLIC’2003），巴西米纳斯吉拉斯州Ouro Preto，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，105-116（2003）。
MSC公司：05年3月 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Gutiérrez}和\textit{B.Ruiz}，电子。注释Theor。计算。科学。84、105——116（2003年；Zbl 1264.03121）
全文： 内政部
D.加尔米奇。;J.M.诺丁。

混合线性逻辑中的证明搜索和证明网。 （英语） Zbl 0971.68139号

Galmiche，Didier（编辑），《类型理论语言：结合CADE-17的证明搜索和语义》，CMU匹兹堡，宾夕法尼亚州，美国，2000年6月20日至21日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。37，33 p.，仅电子版（2000年）。
MSC公司：68吨15 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{D.Galmiche}和\textit{J.M.Notin}，in：类型理论语言：与CADE-17结合的证明搜索和语义，美国宾夕法尼亚州匹兹堡CMU，2000年6月20日至21日。阿姆斯特丹：爱思唯尔。第33页（2000年；Zbl 0971.68139）
詹姆斯·哈兰德;大卫·皮姆

通过布尔约束进行资源分配（扩展抽象）。 （英语） Zbl 1422.03129号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 222-236 (1997).
MSC公司：03楼52 03B35型 03B70号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{J.Harland}和\textit{D.Pym}，莱克特。注释计算。科学。1249、222--236（1997年；Zbl 1422.03129）
全文： 内政部
克里茨，C。;H.曼特尔。;J.奥顿。;施密特，S。

线性逻辑中基于连接的证明结构。 （英语） Zbl 1430.03040号

William McCune（编辑），《自动扣除——CADE-14》。第14届自动扣款国际会议，澳大利亚北昆士兰汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 207-221 (1997).
MSC公司：03B35型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{C.Kreitz}等人，Lect。注释计算。科学。1249、207--221（1997；Zbl 1430.03040）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件