×

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

最新的 引文 关联
盛英；安德烈斯·诺兹利；安德鲁·雷诺兹；尤尼·佐哈尔；大卫·迪尔；沃尔夫冈·格里斯坎普；Park，Junkil公园；沙兹·卡迪尔；克拉克·巴雷特；塞萨尔·蒂内利

关于向量的推理：序列理论的可满足模。 （英语） Zbl 07753651号

J.汽车。推理 67，第3号，第32号论文，第34页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sheng}等人，J.Autom。推理67，第3号，论文32，34页（2023；Zbl 07753651）
全文： 内政部
特默尔库西亚；保罗，克莱奥

定量理论中近似概括的框架。 （英语） Zbl 07628210号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 578-596 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Kutsia}和\textit{C.Pau}，Lect。票据计算。科学。13385，578--596（2022；Zbl 07628210）
全文： 内政部
安德烈·杜阿尔特；康斯坦丁·科洛文

叠加微积分中的接地性和连通性。 （英语） Zbl 07628187号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 169-187 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Duarte}和\textit{K.Korovin}，莱克特。票据计算。科学。13385，169--187（2022；Zbl 07628187）
全文： 内政部
吉列尔莫·巴迪亚；彼得·辛图拉；彼得·哈耶克；安德鲁·特德

Rosser的本质不可判定性定理需要多少命题逻辑？ （英语） Zbl 1500.03004号

版本符号。日志。 15，第2期，487-504（2022）.
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03B25号 03B47号 03B52号 03英尺30英寸
PDF格式BibTeX公司 XML格式引用
\textit{G.Badia}等人，Rev.Symb。日志。15，第2号，487--504（2022；Zbl 1500.03004）
全文： 内政部 arXiv公司
安德烈·杜阿尔特；康斯坦丁·科洛文

叠加演算中的AC简化和闭包冗余。 （英语） Zbl 07532517号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12842, 200-217 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Duarte}和\textit{K.Korovin}，莱克特。票据计算。科学。12842200-217（2021年；兹bl 07532517）
全文： 内政部 arXiv公司
让·古鲍特·拉雷克；西蒙·哈尔丰；普拉蒂克，卡兰迪卡尔；K.Narayan Kumar；菲利普·施诺贝伦

计算良好拟序闭子集的理想方法。 （英语） Zbl 1446.68191号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。双头螺栓日志。伦敦银行同业拆借利率。53, 55-105 (2020).
MSC公司：68周05 03E05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Goubault-Larrecq}等人，《趋势日志》。螺柱日志。伦敦银行同业拆借利率。53、55-105（2020年；Zbl 1446.68191）
全文： 内政部 arXiv公司 哈尔
莱昂纳多·卡布雷（Leonardo M.Cabrer）。；本杰明·弗雷斯伯格；乔治·梅特卡夫；希拉里·普里斯特利（Hilary A.Priestley）。

使用自然二重性检查可接受性。 （英语） Zbl 1407.03010号

ACM事务处理。计算。日志。 20，第1号，第2条，第19页（2019年）.
MSC公司：03B35型 08A70号 08C15号 08C20号
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Cabrer}等人，ACM Trans。计算。日志。20，第1号，第2条，第19页（2019年；Zbl 1407.03010）
全文： 内政部 arXiv公司 链接
贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；德米特里·特拉泰尔

Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 （英语） Zbl 1434.03025号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第11条，第18页（2017年）。
MSC公司：03B35型 03B25号 2015年1月3日
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，LIPIcs——莱布尼茨国际程序。通知。84，第11条，第18页（2017年；Zbl 1434.03025）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特；乌韦·沃尔德曼；丹尼尔·旺德

无lambda的高阶递归路径顺序。 （英语） Zbl 1486.68085号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10203, 461-479 (2017).
MSC公司：第68季度第42季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛J.C.Blanchette｝等人，Lect。票据计算。科学。10203、461--479（2017；Zbl 1486.68085）
全文： 内政部 哈尔
卡琳·阿尔蒂森；皮埃尔·科尔比诺；圣埃芬·德维斯梅斯

认证自稳定框架。 （英语） Zbl 1347.68358号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲义9688，36-51（2016）。
MSC公司：68宽15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Altisen}等人，Lect。票据计算。科学。9688，36-51（2016；Zbl 1347.68358）
全文： 内政部 arXiv公司
纪尧姆·伯勒；Gilles Dowek；蒋莹

在重写系统中确定可达性的一种完成方法。 （英语） Zbl 1471.68105号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9322, 205-219 (2015).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Burel}等人，Lect。票据计算。科学。9322205-219（2015年；兹比尔1471.68105）
全文： 内政部 哈尔
Hidalgo-Doblado，M.J。；阿隆索-吉梅内斯，J.A。；Borrego-Díaz，J。；马丁·马特奥斯（F.J.Martín-Mateos）。；鲁伊斯·雷纳，J.L。

用于描述逻辑的正式验证的基于表格的推理器。 （英语） Zbl 1314.68282号

J.汽车。推理 52，第3期，331-360（2014）.
MSC公司：68吨15 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.J.Hidalgo-Doblado}等人，J.Autom。推理52，第3期，331-360（2014年；Zbl 1314.68282）
全文： 内政部 链接
玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨

经典地喇叭理论。 （英语） Zbl 1383.03042号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，35-71（2013）。
MSC公司：03B70号 03B35型 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{N.Dershowitz}，莱克特。票据计算。科学。7797，35-71（2013；Zbl 1383.03042）
全文： 内政部
贝诺·拉泽特

使用反应式发动机模拟有限Eilenberg机器。 （英语） Zbl 1291.68232号

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第5期，119-134（2011）。
MSC公司：65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{B.Razet}，电子。注释Theor。计算。科学。229，第51119-134号（2011年；兹bl 1291.68232）
全文： 内政部
马丁·马特奥斯，弗朗西斯科·杰苏斯；何塞·路易斯·鲁伊斯·雷纳；何塞·安东尼奥·阿隆索；玛丽亚·何塞·伊达尔戈

证明珠：ACL2中Higman引理的正式证明。 （英语） Zbl 1243.68269号

J.汽车。推理 47，第3期，229-250（2011）.
MSC公司：68吨15 03B35型 03E05号 05年05月05日 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{F.J.Martín-Mateos}等人，J.Autom。推理47，第3期，229-250（2011年；兹bl 1243.68269）
全文： 内政部 链接
鲁齐卡皮斯卡；托马斯·怀斯

自动化终止证明的决策程序。 （英语） Zbl 1317.68034号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，371-386（2011）。
MSC公司：68号30 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Piskac}和\textit{T.Wies}，莱克特。票据计算。科学。6538，371--386（2011；Zbl 1317.68034）
全文： 内政部
罗曼·德曼根；丹尼尔·赫希科夫；戴维·桑吉奥吉

移动进程和终止。 （英语） Zbl 1253.68239号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。《计算机科学讲义》5700、250-273（2009）。
MSC公司：68问题85 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}等人，Lect。票据计算。科学。5700、250--273（2009年；Zbl 1253.68239）
全文： 内政部
克劳斯·莱因哈特

带约束弧的Petri网的可达性。 （英语） Zbl 1337.68191号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223，239-264（2008）。
MSC公司：68问题85 03B25号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Reinhardt}，电子。注释Theor。计算。科学。223、239--264（2008；Zbl 1337.68191）
全文： 内政部
保罗·皮洛齐；丹尼·德·施雷耶

重新审视CHR的终止分析。 （英语） Zbl 1185.68176号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，501-515（2008）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Pilozzi}和\textit{D.De Schreye}，莱克特。票据计算。科学。5366、501--515（2008年；Zbl 1185.68176）
全文： 内政部 链接
斯特拉图拉特，索林

结合重写和诺以太归纳法对不可定向等式进行推理。 （英语） Zbl 1145.68454号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，351-365（2008）。
MSC公司：第68季度第42季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Stratulat}，莱克特。票据计算。科学。5117、351--365（2008年；Zbl 1145.68454）
全文： 内政部
D.加尔米奇。；萨尔希，Y。

为Łukasiewicz逻辑标记的calculi。 （英语） Zbl 1156.03024号

Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，194-207（2008）。
MSC公司：03B50号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{D.Galmiche}和\textit{Y.Salhi}，莱克特。票据计算。科学。5110、194-207（2008；Zbl 1156.03024）
全文： 内政部
阿米尔·本·阿姆拉姆。；迈克尔·科迪什

基于SAT的终止规模变化的方法，具有全球排名功能。 （英语） Zbl 1134.68398号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963218-232（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Ben-Amram}和\textit{M.Codish}，莱克特。票据计算。科学。4963、218--232（2008年；Zbl 1134.68398）
全文： 内政部
安德烈亚·福米萨诺；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti

三个变量的set-pairing语句。 （英语） Zbl 1058.03028号

西奥。计算。科学。 322，第1期，第147-173页（2004年）.
审核人：J.M.Plotkin（东兰辛）
MSC公司：03B70号 03E20型 03G15年 68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Formisano}等人，Theor。计算。科学。322，第1号，147--173（2004；Zbl 1058.03028）
全文： 内政部
费雷拉，M.C.F。

等式改写中的虚拟消除。 （英语） Zbl 1503.68105号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1103, 78-92 (1996).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{M.C.F.Ferreira}，莱克特。票据计算。科学。1103、78——92（1996年；Zbl 1503.68105）
全文： 内政部
托马斯·科勒；克里斯托夫·沃尔特

通过重用终止定理证明。 （英语） Zbl 1412.68241号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1104, 106-120 (1996).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Kolbe}和\textit{C.Walther}，莱克特。票据计算。科学。1104、106-120（1996年；Zbl 1412.68241）
全文： 内政部
费雷拉，M.C.F。；H.赞蒂玛。

虚拟消除：使终止更容易。 （英语） Zbl 1503.68107号

Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。965, 243-252 (1995).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{M.C.F.Ferreira}和\textit{H.Zantema}，Lect。票据计算。科学。965243-252（1995年；Zbl 1503.68107）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件