×

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

最新的 引文 关联
伊内克·范德伯格;安德烈亚·德·多梅尼科;朱塞佩·格雷科;克里希纳·B·马诺卡。;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃

粗糙概念逻辑的标签计算。 （英语） Zbl 07728696号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 172-188 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Berg}等人，Lect。注释计算。科学。13963172-188（2023年；兹bl 07728696）
全文： 内政部
伊内克·范德伯格;安德烈亚·德·多梅尼科;朱塞佩·格雷科;克里希纳·B·马诺卡。;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃

基于格的模态逻辑的标记计算。 （英语） Zbl 07728686号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 23-47 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Berg}等人，Lect。注释计算。科学。13963，23-47（2023；Zbl 07728686）
全文： 内政部
安德里亚·德·多梅尼科;朱塞佩·格雷科

算法对应和分析规则。 （英语） Zbl 1531.03089号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第14届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。371-389 (2022).
MSC公司：03财年03 05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.DeDomenico}和\textit{G.Greco}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。371--389（2022年；Zbl 1531.03089）
全文： arXiv公司
蒂姆·里昂

从语义系统导出直觉逻辑的嵌套计算。 （英语） Zbl 1485.03021号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11972, 177-194 (2020).
MSC公司：03B20型 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.里昂}，莱克特。注释计算。科学。11972、177--194（2020；Zbl 1485.03021）
全文： 内政部 arXiv公司
玛丽安娜·吉兰多;萨拉·内格里;乔治·斯巴多利尼

条件逻辑和反事实逻辑的统一标记计算。 （英语） Zbl 1530.03061号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，WoLLIC 2019，荷兰乌得勒支，2019年7月2日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 248-263 (2019).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{M.Girlando}等人，Lect。注释计算。科学。11541、248--263（2019年；Zbl 1530.03061）
全文： 内政部 哈尔
范伯克利，基斯;蒂姆·里昂

时序STIT逻辑的无切割计算和关系语义。 （英语） Zbl 1525.03063号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 803-819 (2019).
MSC公司：03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.van Berkel}和\textit{T.Lyon}，莱克特。注释计算。科学。11468、803--819（2019年；Zbl 1525.03063）
全文： 内政部 arXiv公司
玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂

反事实逻辑：标记和内部计算，同一硬币的两面？ （英语） Zbl 1418.03050号

Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。291-310 (2018).
MSC公司：03B42号 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Girlando}等人，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。291--310（2018；Zbl 1418.03050）
蒂齐亚诺·达尔蒙特;尼古拉·奥利维蒂;萨拉·内格里

非正规模态逻辑：双邻域语义及其标记演算。 （英语） Zbl 1418.03075号

Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。159-178 (2018).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}等人，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。159--178（2018；Zbl 1418.03075）
拉杰夫·戈尔;雷文莎·拉马纳亚克

标记树序列、树超序列和嵌套（深）序列。 （英语） Zbl 1296.03031号

托马斯·博兰德（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。279-299 (2012).
审核人：安德烈·因德泽扎克（Andrzej Indrzejczak）
MSC公司：05年3月 03层45
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{R.Ramanayake}，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。279--299（2012年；Zbl 1296.03031）
彼得·休厄尔

\（\pi\）-计算。重印2001年精装版。 （英语） Zbl 1253.68252号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。177-197 (2010).
MSC公司：68问题85 2002年8月
PDF格式BibTeX公司 XML格式引用
\textit{P.Sewell}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。177-197（2010；Zbl 1253.68252）
阿里斯蒂扎巴尔·平佐（Aristizábal Pinzón）、安德烈斯·阿尔贝托（Andrés Alberto）

并发约束编程中的相似性。 （英语） Zbl 1237.68130号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学论文集7，236-240，仅电子版（2010）。
MSC公司：68问题85 68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Aristizábal Pinzón}，LIPIcs——莱布尼茨国际程序。通知。73236-240（2010年；兹bl 1237.68130）
全文： 内政部 链接
萨拉·内格里

非经典逻辑中的证明分析。 （英语） Zbl 1167.03038号

Dimitracopoulos，Costas（编辑）等人，2005年逻辑学术讨论会。符号逻辑协会（ASL）欧洲夏季年会会议记录，希腊雅典，2005年7月28日至8月3日。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-0-521-88425-9/hbk）。逻辑课堂讲稿28，107-128（2008）。
MSC公司：03财年03 03B45号 03B47号 03B55号
PDF格式BibTeX公司 XML格式引用
\textit{S.Negri}，莱克特。注释日志。28、107-128（2008年；Zbl 1167.03038）
巴布亚州索波辛斯基

一个表现良好的微积分LTS（摘要）。 （英语） Zbl 1278.68223号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，5-11页（2007年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Sobocinnski}，电子。注释Theor。计算。科学。192，编号1，5--11（2007；Zbl 1278.68223）
全文： 内政部
法比奥·加杜奇;乌戈·蒙塔纳里

通过过程的图形编码观察标称计算的减少。 （英语） Zbl 1171.68572号

Middeldorp，Aart（编辑）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。计算机科学课堂讲稿3838106-126（2005）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{U.Montanari}，莱克特。注释计算。科学。3838、106-126（2005年；Zbl 1171.68572）
全文： 内政部
约翰·范·本特姆

自然语言中的证明、标签和动态。 （英语） Zbl 0960.03023号

Ohlbach，Hans Jürgen（编辑）等人，《逻辑、语言和推理》。纪念Dov Gabbay的论文。多德雷赫特：Kluwer学术出版社。趋势日志。螺柱日志。伦敦银行同业拆借利率。5, 31-41 (1999).
审核人：Pavel Materna（普拉哈）
MSC公司：03B65号 03B45号 03楼52 03B47号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛J.van Benthem｝，趋势日志。螺柱日志。伦敦银行同业拆借利率。5、31——41（1999；Zbl 0960.03023）
G·巴特。;梅利埃，P.-A。

关于代数型系统的主题约简性质。 （英语） Zbl 0882.03010号

Dalen，Dirk van（编辑）等人，《计算机科学逻辑》。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1258, 34-57 (1997).
MSC公司：03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}和\textit{P.A.Melliès}，莱克特。注释计算。科学。1258，34-57（1997；Zbl 0882.03010）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件