×

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

最新的 引文 关联
劳尔·古铁雷斯;萨尔瓦多卢卡斯

自动证明和反驳可行性条件。 （英语） Zbl 07614688号

Peltier，Nicolas（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 416-435 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。12167416--435（2020；Zbl 07614688）
全文： 内政部
G.W.汉密尔顿。

提取程序以证明终止。 （英语） Zbl 07453196号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、140-154（2020）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}，电子。程序。西奥。计算。科学。（EPTCS）320、140--154（2020；Zbl 07453196）
全文： arXiv公司 链接
阿尔贝托·佩特罗西

我早期研究兴趣的历史记录。 （英语） Zbl 07453187号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320，1-28（2020年）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}，电子。程序。西奥。计算。科学。（EPTCS）320，1--28（2020；Zbl 07453187）
全文： arXiv公司 链接
列夫·戈迪夫

强WQO树定理。 （英语） Zbl 1481.03064号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。双头螺栓日志。伦敦银行同业拆借利率。53, 107-125 (2020).
MSC公司：2015年1月3日 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Gordeev｝，趋势日志。螺柱日志。伦敦银行同业拆借利率。53、107-125（2020年；Zbl 1481.03064）
全文： 内政部
让·古鲍特·拉雷克;西蒙·哈尔丰;普拉蒂克，卡兰迪卡尔;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公司 哈尔
冈田三弘;高桥，尤塔

关于拟序图系统。 （英语） Zbl 07450013号

Fernández，Maribel（ed.）等人，第十届术语和图形计算国际研讨会论文集，TERMGRAPH 2018，英国牛津，2018年7月7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28838-49（2019）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Okada｝和\textit｛Y.Takahashi｝，Electron。程序。西奥。计算。科学。（EPTCS）288，38-49（2019；Zbl 07450013）
全文： arXiv公司 链接
傅鹏;叶卡捷琳娜·科门丹茨卡亚;汤姆·施里杰弗斯;安德鲁·庞德

证明相关的同胚分辨率。 （英语） Zbl 1475.68054号

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。第13届国际研讨会，FLOPS 2016，日本高知，2016年3月4日至6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9613, 126-143 (2016).
MSC公司：68N17号 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Fu}等人，Lect。注释计算。科学。9613、126--143（2016；Zbl 1475.68054）
全文： 内政部 arXiv公司 链接
何塞·伊波拉;直纪西田;德国维达尔;Akihisa山田

减少依赖对问题的相对终止。 （英语） Zbl 1465.68120号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195163-178（2015年）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Iborra}等人，Lect。注释计算。科学。9195163-178（2015年；兹比尔1465.68120）
全文： 内政部 链接
奥利维尔·丹维;雅各布·约翰森

从最外层的约简语义到抽象机器。 （英语） Zbl 1453.68045号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 91-108 (2014).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{O.Danvy}和\textit{J.Johannsen}，莱克特。注释计算。科学。8901、91--108（2014；Zbl 1453.68045）
全文： 内政部
克里斯托弗·林奇

构建巴赫米尔-甘金格模型。 （英语） Zbl 1383.68079号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797285-301（2013）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Lynch}，莱克特。注释计算。科学。7797，285--301（2013；Zbl 1383.68079）
全文： 内政部
马克·布罗克施米特;卡斯滕·奥托;克里斯蒂安·冯·埃森;吉尔根·吉斯尔

Java字节码的终止图。 （英语） Zbl 1309.68038号

Siegler，Simon（编辑）等人，《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际，为他举行庆祝活动。柏林：施普林格出版社（ISBN 978-3-642-17171-0/pbk）。计算机科学课堂讲稿6463。人工智能课堂讲稿，17-37（2010）。
MSC公司：68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Brockschmidt}等人，Lect。注释计算。科学。6463、17-37（2010年；Zbl 1309.68038）
全文： 内政部
萨尔瓦多卢卡斯

使用基本解释自动证明终止。 （英语） Zbl 1294.68058号

Lucio，Paqui（编辑）等人，第九届西班牙编程与计算机语言会议记录（PROLE 2009），西班牙圣塞巴斯蒂安，2009年9月9日至11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》258，第1期，41-61（2009）。
MSC公司：68号30 第68季度第42季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}，电子。注释Theor。计算。科学。258，编号1，41--61（2009；Zbl 1294.68058）
全文： 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过有充分依据的注释进行完全正确的逻辑程序转换。 （英语） Zbl 1194.68095号

高-订购符号。计算。 21，编号1-2，193-234（2008）; 勘误表同上，第21号，第1-2、235页（2008年）。
MSC公司：68N17号 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}和\textit{M.Proietti}，高-订购符号。计算。21，编号1--2，193-234（2008；Zbl 1194.68095）
全文： 内政部 链接
卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普

有理多项式阶的搜索技术。 （英语） Zbl 1166.68354号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，英国伯明翰，第9届国际会议，AISC 2008，第15届研讨会，2008年微积分，第7届国际会议，MKM 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，109-124（2008）。
MSC公司：68T20型 第68季度第42季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Fuhs}等人，Lect。注释计算。科学。5144、109--124（2008年；Zbl 1166.68354）
全文： 内政部
保罗·皮洛齐;丹尼·德·施雷耶

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

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。第24届国际会议，ICLP 2008，意大利乌迪内，2008年12月9日至13日。诉讼程序。柏林：施普林格出版社（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 1179.68040号

安迪·金（编辑），基于逻辑的程序合成和转换。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。计算机科学课堂讲稿4915，8-22（2008）。
MSC公司：68号30 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.T.Nguyen}等人，Lect。注释计算。科学。4915，8-22（2008年；兹比尔1179.68040）
全文： 内政部 链接
迈克尔·科迪什

用（布尔）满意度证明终止。 （英语） Zbl 1179.68034号

安迪·金（编辑），基于逻辑的程序合成和转换。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。计算机科学课堂讲稿4915，1-7（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Codish}，莱克特。注释计算。科学。4915，1--7（2008年；Zbl 1179.68034）
全文： 内政部
史蒂夫·克雷默;安托万·梅西耶;拉尔夫·特里宁

证明组协议对窃听者是安全的。 （英语） Zbl 1165.68320号

Armando，Alessandro（编辑）等人，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，116-131（2008）。
MSC公司：68个M12 第68季度第45季度 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kremer}等人，Lect。注释计算。科学。5195、116--131（2008年；Zbl 1165.68320）
全文： 内政部
雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普

决定最里面的循环。 （英语） Zbl 1145.68457号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，366-380（2008）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\文本{R.Thiemann}等人，Lect。注释计算。科学。5117、366--380（2008年；Zbl 1145.68457）
全文： 内政部
德国维达尔

终止左线构造器系统中的窄化。 （英语） Zbl 1137.68420号

Garrigue，Jacques（编辑）等人，《函数和逻辑编程》。2008年4月14日至16日，第九届国际研讨会，FLOPS 2008，日本伊势。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78968-0/pbk）。计算机科学课堂讲稿4989113-129（2008）。
MSC公司：第68季度第42季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.维达尔}，莱克特。注释计算。科学。4989、113--129（2008年；Zbl 1137.68420）
全文： 内政部
丰满，细节

术语图重写的要点。 （英语） Zbl 1263.68092号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，277-289（2002）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Plump｝，电子。注释Theor。计算。科学。51、277--289（2002年；Zbl 1263.68092）
全文： 内政部
艺术，托马斯

由于缺少无限依赖对链而终止。 （英语） Zbl 1508.68140号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 196-210 (1996).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Arts}，莱克特。注释计算。科学。1059196-210（1996年；Zbl 1508.68140）
全文： 内政部
玛丽贝尔·费尔南德斯;伊恩·麦基

交互网络和术语重写系统（扩展抽象）。 （英语） Zbl 1508.68152号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 149-164 (1996).
MSC公司：第68季度第42季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}和\textit{I.Mackie}，莱克特。注释计算。科学。1059、149--164（1996年；Zbl 1508.68152）
全文： 内政部
塞尼泽格斯，热罗

关于单规则半图厄系统的终止问题。 （英语） Zbl 1503.68155号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 302-316 (1996).
MSC公司：第68季度第42季度 03年3月 65年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Sénizergues}，莱克特。注释计算。科学。1103、302-316（1996年；Zbl 1503.68155）
全文： 内政部
艺术，托马斯;吉尔根·吉斯尔

建造系统的终止。 （英语） Zbl 1503.68085号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 63-77 (1996).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Arts}和\textit{J.Giesl}，莱克特。注释计算。科学。1103、63--77（1996年；Zbl 1503.68085）
全文： 内政部 链接
于尔根·布劳伯格;吉尔根·吉斯尔

部分功能的终止分析。 （英语） Zbl 1482.68078号

Cousot，Radhia（编辑）等人，《静态分析》。1996年9月24日至26日，第三届国际研讨会，SAS’96，德国亚琛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1145, 113-127 (1996).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.布劳伯格}和\textit{J.Giesl}，莱克特。注释计算。科学。1145113-127（1996年；Zbl 1482.68078）
全文： 内政部
阿尔特·米德尔多普;大崎，Hitoshi;汉斯·赞特马

通过自标记转换终端。 （英语） Zbl 1412.68112号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 373-387 (1996).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Middeldorp｝等人，Lect。注释计算。科学。1104373-387（1996年；Zbl 1412.68112）
全文： 内政部 链接
乌苏拉·马丁

定理证明：示例和问题。 （英语） Zbl 1412.68243号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 358-372 (1996).
MSC公司：68吨15 20F05型 2010年1月20日 第68季度第42季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{U.Martin}，莱克特。注释计算。科学。1104358-372（1996年；Zbl 1412.68243）
全文： 内政部
托马斯·科尔贝;克里斯托夫·沃尔特

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

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第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）
全文： 内政部
丰满，细节

图重写终止时。 （英语） Zbl 1533.68125号

Nagl，Manfred（编辑），计算机科学中的图论概念。1995年6月20日至22日，第21届国际研讨会，95年工作组，德国亚琛。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1017, 88-100 (1995).
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Plump}，莱克特。注释计算。科学。1017、88--100（1995年；Zbl 1533.68125）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件