×

找到637个文档（结果1-100）

最新的 引文 关联
来自阿斯塔·哈尔克;约根·维拉德森

一阶逻辑的朴素证明：分析完备性的最小示例。 （英语） Zbl 07850759号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 468-480 (2023).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}和\textit{J.Villadsen}，Lect。注释计算。科学。14278，468--480（2023；Zbl 07850759）
全文： DOI程序
OA许可证
尼古拉斯·佩尔蒂埃

测试具有权限的分离逻辑中公式的可满足性。 （英语） Zbl 07850757号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 427-445 (2023).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{N.佩尔蒂埃}，莱克特。注释计算。科学。14278427-445（2023年；兹bl 07850757）
全文： DOI程序
OA许可证
德波尔（Frank S。;Hiep，Hans-Dieter A。;斯蒂恩·德古乌

分离逻辑的逻辑：模型和证明。 （英语） Zbl 07850756号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 407-426 (2023).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}等人，Lect。注释计算。科学。14278407-426（2023年；兹比尔07850756）
全文： DOI程序
OA许可证
亚历山大五世（Alexander V.Gheorghiu）。;顾涛;大卫·J·派姆。

直觉乘法线性逻辑的证明理论语义。 （英语） Zbl 07850754号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 367-385 (2023).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Gheorghiu}等人，Lect。注释计算。科学。14278，367--385（2023；Zbl 07850754）
全文： DOI程序 arXiv公司
OA许可证
马特奥·阿克拉维奥;戴维·卡塔;费德里科·奥林皮耶里

构造模态逻辑中证明的规范性。 （英语） Zbl 07850753号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 342-363 (2023).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Acclavio}等人，Lect。注释计算。科学。14278，342--363（2023；Zbl 07850753）
全文： DOI程序 arXiv公司
OA许可证
弗洛里安·布鲁斯;马丁·兰格;莫勒、舍伦

关于自然科学实验中影响的形式推理。 （英语） Zbl 07838485号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 153-169 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，Lect。注释计算。科学。14132，153--169（2023；Zbl 07838485）
全文： DOI程序
托马斯·维迪克

\（\mathrm{MIP}^*=\mathrm{RE}\）：对Connes嵌入问题和Tsirelson问题的否定解决。 （英语） Zbl 07821719号

Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第6卷。第12-14节。柏林：欧洲数学学会（EMS）。4996-5025 (2023).
MSC公司：46升10 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Vidick}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第6卷。第12-14节。柏林：欧洲数学学会（EMS）。4996——5025（2023年；Zbl 07821719）
全文： DOI程序
OA许可证
安德烈·塞西;埃米利奥·弗雷佐利;乔纳森·洛兰;乔埃勒·扎迪尼

使用浓缩法对负面信息进行分类。 （英语） Zbl 07813620号

杰德（Jade）等硕士，第五届应用范畴理论国际会议论文集，ACT 2022，英国格拉斯哥，2022年7月18日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）380、22-40（2023年）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Censi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）380，22--40（2023；Zbl 07813620）
全文： DOI程序 arXiv公司
罗洁婷;托马斯·施图德;迈赫迪·达斯塔尼

提供个性化解释：对话方式。 （英语） Zbl 1531.68127号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 121-137 (2023).
MSC公司：68T27型 03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{J.Luo}等人，Lect。注释计算。科学。14156121-137（2023年；Zbl 1531.68127）
全文： DOI程序 arXiv公司
克里斯蒂安·卡钦;大卫·莱纳;托马斯·施图德

多智能体系统的模态和理由逻辑（邀请演讲）。 （英语） Zbl 1528.68363号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 3-8 (2023).
MSC公司：68T27型 03B42号 03B45号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Cachin｝等人，Lect。注释计算。科学。14156，3--8（2023；Zbl 1528.68363）
全文： DOI程序
Nguyán、LáThánh Dũng;Straßburger，卢茨

相互作用和结构的系统。三： 复杂的英属维尔京群岛和Pomset逻辑。 （英语） Zbl 07788997号

日志。方法计算。科学。 19，第4号，第25号论文，60页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{L.T.D.Nguyén}和\textit{L.Straßburger}，Log。方法计算。科学。19，第4号，第25号论文，60页（2023年；Zbl 07788997）
全文： DOI程序 arXiv公司
OA许可证
瓦斯科·布拉特卡

关于学习计划的复杂性。 （英语） Zbl 07787579号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 166-177 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}，莱克特。注释计算。科学。13967、166--177（2023年；Zbl 07787579）
全文： DOI程序 arXiv公司
洛伦佐·加莱奥蒂;Lewis，Ethan S。;Löwe，Benedikt公司

超限可计算性的对称性。 （英语） Zbl 07787571号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 65-76 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Galeotti}等人，Lect。注释计算。科学。13967，65-76（2023年；兹bl 07787571）
全文： DOI程序 arXiv公司
玛丽亚·索斯科娃。

枚举度中局部结构和全局结构之间的关系。 （英语） Zbl 07787567号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 17-22 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Soskova}，莱克特。注释计算。科学。13967，17-22（2023；Zbl 07787567）
全文： DOI程序
桑德拉·米勒

确定性公理和大基数。 （英语） Zbl 07728688号

Banerjee，Mohua（编辑）等人，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 68-78 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.米勒}，莱克特。注释计算。科学。13963、68--78（2023；Zbl 07728688）
全文： DOI程序 arXiv公司
尼古拉·巴热诺夫;马纳特·穆斯塔法;安瓦尔·努拉库诺夫

关于数论中的两类概念格。 （英语） Zbl 07722833号

杜定珠（编）等，计算模型的理论与应用。第17届年会，TAMC 2022，中国天津，2022年9月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13571, 79-92 (2023).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Bazenov｝等人，Lect。注释计算。科学。13571，79-92（2023；Zbl 07722833）
全文： DOI程序
瑞荷·贾科拉

统一防护碎片。 （英语） 兹比尔07793040

Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 409-427 (2022).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Jaakkola}，莱克特。注释计算。科学。13242、409--427（2022；Zbl 07793040）
全文： DOI程序 arXiv公司
OA许可证
詹姆斯·伍德;罗伯特·艾奇

子结构类型系统的框架。 （英语） Zbl 1528.68087号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 376-402 (2022).
MSC公司：68号30 03B70号 68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Wood}和\textit{R.Atkey}，莱克特。注释计算。科学。13240376--402（2022；Zbl 1528.68087）
全文： DOI程序
OA许可证
巴里内克，Jáchym;蒂莫西·范·布莱门;王玉怡;Zhi elezn，Filip先生;Kuželka，安大略省

使用提升推理自动推测P递归。 （英语） Zbl 1524.68347号

Katzouris，Nikos（编辑）等人，《归纳逻辑编程》。第30届国际会议，ILP 2021，虚拟活动，2021年10月25日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13191, 17-25 (2022).
MSC公司：68T27型 03立方厘米13 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{J.Barvínek}等人，Lect。注释计算。科学。13191，17-25（2022；Zbl 1524.68347）
全文： DOI程序
马吕斯·博兹加;卢卡斯·布埃里;拉杜·奥西夫

可重构分布式系统推理逻辑中的决策问题。 （英语） Zbl 07628216号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 691-711 (2022).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}等人，Lect。注释计算。科学。13385、691--711（2022；Zbl 07628216）
全文： DOI程序 arXiv公司
OA许可证
弗洛里安·弗兰克;斯特凡·米利厄斯;海宁·乌尔巴特

标称自动机的协同代数语义。 （英语） Zbl 07628066号

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 45-66 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Frank}等人，Lect。注释计算。科学。13225，45-66（2022；Zbl 07628066）
全文： DOI程序 arXiv公司
山姆·桑德斯

（mathbb{R}）不可数性的逆向数学。 （英语） Zbl 07627935号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 272-286 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，莱克特。注释计算。科学。13359、272--286（2022；Zbl 07627935）
全文： DOI程序 arXiv公司
艾奥西夫·彼得拉基斯;丹尼尔·韦塞尔

补子集代数。 （英语） Zbl 07627933号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 246-258 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛I.Petrakis｝和\textit｛D.Wessel｝，Lect。注释计算。科学。13359，246--258（2022；Zbl 07627933）
全文： DOI程序
尤文纳尔·穆瓦纳希亚卡

有限完全二叉树的弱序列理论。 （英语） Zbl 07627930号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 208-219 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Murwanashaka}，莱克特。注释计算。科学。13359208-219（2022；Zbl 07627930）
全文： DOI程序 链接
伊恩·普拉特·哈特曼;利迪亚·坦德拉

具有及物关系的带凹槽碎片。 （英语） Zbl 1490.03010号

Ann.纯粹应用。逻辑 173，第1期，文章ID 103042，43页（2022）.
审核人：马里奥·阿尔维亚诺（伦德）
MSC公司：03年10月 2017年第68季度 19年第68季度 03B25号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Pratt-Hartmann}和\textit{L.Tendra}，Ann.Pure Appl。逻辑173，第1号，文章ID 103042，43页（2022；Zbl 1490.03010）
全文： DOI程序 arXiv公司 链接
伊沃·佩兹拉

假设的占位符视图和Curry-Howard通信（扩展摘要）。 （英语） Zbl 07671040号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 513-520 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。13040513--520（2021；Zbl 07671040）
全文： DOI程序
韦斯利·福斯纳;威廉·祖卢亚加·博特罗

广义基本逻辑的一些模态和时间翻译。 （英语） Zbl 07670518号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 176-191 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Fussner}和\textit{W.Zuluaga Botero}，莱克特。注释计算。科学。13027、176--191（2021；Zbl 07670518）
全文： DOI程序 arXiv公司 链接
纳塔内尔·阿尔佩;彼得·吉普森;梅丽莎·杉本

未确定分配（ell）-岩浆和丛蕴涵代数。 （英语） Zbl 07670509号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 19-36 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Alpay｝等人，Lect。注释计算。科学。13027、19-36（2021；Zbl 07670509）
全文： DOI程序 arXiv公司
瓦斯科·布拉特卡（编辑）;诺姆·格林伯格（编辑）;伊斯坎德卡利穆林（编辑）;玛丽亚·索斯科娃（编辑）

可计算性理论。2021年4月25日至5月1日举行的研讨会摘要（混合会议）。 （英语） Zbl 1506.00048号

Oberwolfach代表。 18，第2期，1149-1190（2021）.
MSC公司：00亿05 00B25型 03-06 68-06 03年月日 03B30型 03C57号 03Fxx公司 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}（编辑）等人，Oberwolfach Rep.18，No.2，1149--1190（2021；Zbl 1506.00048）
全文： DOI程序
迪特里赫·库斯克

二阶有限自动机：表达能力和使用自动结构的简单证明。 （英语） Zbl 07498730号

Moreira，Nelma（编辑）等人，《语言理论的发展》。第25届国际会议，DLT 2021，葡萄牙波尔图，2021年8月16-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12811, 242-254 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12811242-254（2021年；兹bl 07498730）
全文： DOI程序
安德鲁·约翰逊;托马斯·沃尔

无延迟的延迟调度！ （英语） Zbl 1493.68113号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 380-402 (2021).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Johnson}和\textit{T.Wahl}，莱克特。注释计算。科学。12759、380——402（2021年；Zbl 1493.68113）
全文： DOI程序 arXiv公司
OA许可证
维克托·塞利瓦诺夫;斯维特拉娜·塞利瓦诺娃

基本递归有序字段和一些应用程序。 （英语） Zbl 07497964号

Boulier，François（编辑）等人，《科学计算中的计算机代数》。2021年9月13日至17日，俄罗斯索契，CASC 2021第23届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12865, 353-369 (2021).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{V.Selivanov}和\textit{S.Selivenova}，莱克特。注释计算。科学。12865、353--369（2021；Zbl 07497964）
全文： DOI程序 arXiv公司
皮·马蒂厄;穆罕默德·萨米·谢里夫;贾马尔哈贝特

Max-SAT的校对生成器。 （英语） Zbl 07495593号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 488-498 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Py}等人，Lect。注释计算。科学。12831488--498（2021；Zbl 07495593）
全文： DOI程序 哈尔
科恩、利隆

用不可计算的形式计算。 （英语） Zbl 07495162号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 135-145 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Cohen}，莱克特。注释计算。科学。12813、135——145（2021；Zbl 07495162）
全文： DOI程序
洛伦佐·卡卢奇

Hindman定理的限制：概述。 （英语） Zbl 07495159号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 94-105 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Carlucci}，莱克特。注释计算。科学。12813、94-105（2021；Zbl 07495159）
全文： DOI程序
阿莱夫，体育。;Selivanov，V.L。

搜索可计算结构的适用版本。 （英语） Zbl 07495151号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 1-11 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Alaev}和\textit{V.L.Selivanov}，莱克特。注释计算。科学。12813，1--11（2021；Zbl 07495151）
全文： DOI程序
Makowsky，J.A。

关于计算模型的一些想法：从大规模人类计算到抽象状态机，等等。 （英语） Zbl 07495059号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 173-186 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Makowsky}，莱克特。注释计算。科学。12750，173--186（2021；Zbl 07495059）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件