×

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

最新的 引文 关联
Akihisa山田

条件重写的不可达性的术语排序。 （英语） Zbl 07628191号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 248-267 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Yamada}，莱克特。注释计算。科学。13385，248--267（2022；Zbl 07628191）
全文： 内政部
马丁·布隆伯格;洛伦兹·勒特盖布;克里斯托夫·韦登巴赫

BS（LRA）条款的有效包容测试管道。 （英语） Zbl 07628186号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 147-168 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。13385，147--168（2022；Zbl 07628186）
全文： 内政部
马尔文·加廷格;王，燕京

如何在不相互理解的情况下达成一致：带有布尔定义的公告逻辑。 （英语） Zbl 07450030号

Moss，Lawrence S.（编辑），《第十七届理性与知识理论方面会议论文集》，2019年7月17日至19日，法国图卢兹，TARK 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）297206-220（2019）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gattinger}和\textit{Y.Wang}，电子。程序。西奥。计算。科学。（EPTCS）297206--220（2019；Zbl 07450030）
全文： arXiv公司 链接
川崎朝田;直纪小林

Lambda可定义的3阶树函数是良好的拟序函数。 （英语） Zbl 1528.68170号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第14条，第15页（2018年）。
MSC公司：65年第68季度 03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Asada}和\textit{N.Kobayashi}，LIPIcs——莱布尼茨国际程序。通知。122，第14条，第15页（2018；Zbl 1528.68170）
全文： 内政部
乔治·莫瑟;玛丽亚·谢特（Maria A.Schett）。

非循环项图的Kruskal树定理。 （英语） Zbl 1482.68121号

Corradini，Andrea（编辑）等人，《第九届术语和图形计算国际研讨会论文集》，TERMGRAPH 2016，荷兰埃因霍温，2016年4月8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）225，25-34（2016）。
MSC公司：2012年第68季度 05年10月 06年06月06日
PDF格式BibTeX公司 XML格式引用
\textit{G.Moser}和\textit{M.A.Schett}，电子。程序。西奥。计算。科学。（EPTCS）225，25-34（2016；Zbl 1482.68121）
全文： arXiv公司 链接
亚历山大·巴尔塔格;劳伦斯·莫斯。;索莱奇·萨沃米尔

公开声明、常识和私人怀疑的逻辑。 （英语） Zbl 1386.03019号

Arló-Costa，Horacio（编辑）等人，《形式认识论读本》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆：施普林格（ISBN 978-3-319-20450-5/hbk；978-3-3169-20451-2/电子书）。施普林格哲学研究生论文1，773-812（2016）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Springer Grad。文本Philos。1773--812（2016；Zbl 1386.03019）
全文： 内政部 链接
江口、闹喜

形式化多项式拟解释下的终止证明。 （英语） Zbl 1476.68060号

Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191、33-47（2015）。
MSC公司：68号30 30楼03号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Eguchi}，电子。程序。西奥。计算。科学。（EPTCS）191、33-47（2015；Zbl 1476.68060）
全文： arXiv公司 链接
David A.Plaisted。

一阶自动扣除的历史和前景。 （英语） Zbl 1465.03055号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195，3-28（2015年）。
MSC公司：03B35型 03-03 68-03 68伏15
PDF格式BibTeX公司 XML格式引用
\文本｛D.A.Plaisted｝，Lect。注释计算。科学。9195，3--28（2015；Zbl 1465.03055）
全文： 内政部
弗雷德里克·布兰基;亚当·科普洛夫斯基

CoLoR：一个关于基础良好的重写关系的Coq库及其在自动验证终止证书中的应用。 （英语） Zbl 1223.68101号

数学。结构。计算。科学。 21，第4期，827-859（2011）.
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}和\textit{A.Koprowski}，数学。结构。计算。科学。21，第4号，827--859（2011；Zbl 1223.68101）
全文： 内政部 arXiv公司
G.邦凡特。;J.-Y.马里恩。;莫扬，J.-Y。

准解释。控制资源的方法。 （英语） Zbl 1230.68077号

西奥。计算。科学。 412，第25号，2776-2796（2011）.
审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥）
MSC公司：2015年第68季度 2017年第68季度 第68季度第65季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Bonfante}等人，Theor。计算。科学。412，第25号，2776--2796（2011；Zbl 1230.68077）
全文： 内政部 哈尔
Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊格尔内拉拉

规范化重写和接地交流完成模肖斯塔克理论。 （英语） Zbl 1315.68219号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲义6605，45-59（2011）。
MSC公司：68吨15 03B25号 03B35型 03D40号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Conchon｝等人，Lect。注释计算。科学。6605，45-59（2011；Zbl 1315.68219）
全文： 内政部 arXiv公司
莎拉·温克勒;阿尔特·米德尔多普

有序完成中的终止工具。 （英语） Zbl 1291.68376号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，518-532（2010）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}和\textit{A.Middeldorp}，莱克特。注释计算。科学。6173、518--532（2010年；Zbl 1291.68376）
全文： 内政部
哈拉尔德·赞克;克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普

将SAT转换为终止重写。 （英语） Zbl 1347.68202号

Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246199-214（2009）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}等人，《电子》。注释Theor。计算。科学。246199-214（2009年；Zbl 1347.68202）
全文： 内政部 链接
马可·加博阿迪;罗曼·佩乔

使用语义解释的流I/O的上限。 （英语） Zbl 1257.68048号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771271-286（2009）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Gaboardi}和\textit{R.Péchoux}，莱克特。注释计算。科学。5771、271--286（2009年；Zbl 1257.68048）
全文： 内政部 链接
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇

交换群的可组合扩张。 （英语） Zbl 1250.03021号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，51-66（2009）。
MSC公司：03B35型 03C10号机组 20K99美元 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Nicolini}等人，Lect。注释计算。科学。5663、51-66（2009年；Zbl 1250.03021）
全文： 内政部 链接
科迪什，迈克尔

用（布尔）满意度证明终止。 （英语） 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）
全文： 内政部
弗雷德里克·布兰基;Jean-Pierre Jouannaud;阿尔伯特·鲁比奥

可计算性路径排序：任务的结束。 （英语） Zbl 1156.68568号

卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，1-14（2008）。
MSC公司：68吨15 03B35型 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}等人，Lect。注释计算。科学。5213，1-14（2008；Zbl 1156.68568）
全文： 内政部 链接
富山，吉藤义彦

具有递归路径关系的S-表达式重写系统的终止证明。 （英语） Zbl 1145.68458号

Voronkov，Andrei（编辑），重写技术和应用。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，381-391（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.富山}，莱克特。注释计算。科学。5117、381--391（2008年；Zbl 1145.68458）
全文： 内政部
索林Stratulat

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

Voronkov，Andrei（编辑），重写技术和应用。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，351-365（2008）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Stratulat}，莱克特。注释计算。科学。5117、351--365（2008年；Zbl 1145.68454）
全文： 内政部
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯

用MU-TERM证明上下文相关重写的终止。 （英语） Zbl 1278.68113号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188105-115（2007）。
MSC公司：2012年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}等人，《电子》。注释Theor。计算。科学。188、105-115（2007年；Zbl 1278.68113）
全文： 内政部
奥利维尔·菲索;伊莎贝·格尼迪格;赫莱内·基什内尔

最外面的接地终端。 （英语） Zbl 1272.68181号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，188-207（2004）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Fissoor}等人，《电子》。注释Theor。计算。科学。71、188--207（2004；Zbl 1272.68181）
全文： 链接
纳鸿·德肖维茨;伊多·扎梅雷特

良好拟序的间隙嵌入。 （英语） Zbl 1264.03095号

de Queiroz，Ruy（编辑）等人，《第十届逻辑、语言、信息和计算研讨会论文集》（WoLLIC’2003），Ouro Preto，Minas Gerais，巴西，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，80-90（2003）。
MSC公司：03E05号 05二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}和\textit{I.Tzameret}，电子。注释Theor。计算。科学。84、80-90（2003年；Zbl 1264.03095）
全文： 内政部
纳鸿·德肖维茨

规范性。 （英语） Zbl 1261.68098号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，120-132（2003）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}，电子。注释Theor。计算。科学。86，No.1，120--132（2003；Zbl 1261.68098）
全文： 内政部
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥

高阶项的递归路径排序，格式为\（\eta\）-long\（\beta\）-normal。 （英语） Zbl 1503.68119号

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

建造系统的终止。 （英语） 兹比尔1503.68085

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

沃尔特递归。 （英语） Zbl 1412.68244号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 643-657 (1996).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.McAllester}和\textit{K.Arkoudas}，莱克特。注释计算。科学。1104643-657（1996年；兹bl 1412.68244）
全文： 内政部
史蒂夫·林顿;乌苏拉·马丁;佩特·普勒;邓肯·沙德

代数和自动演绎。 （英语） Zbl 1412.68242号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 448-462 (1996).
MSC公司：68吨15 20-04 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.Linton}等人，Lect。注释计算。科学。110448--462（1996年；Zbl 1412.68242）
全文： 内政部
阿尔特·米德尔多普;大崎，Hitoshi;汉斯·赞特马

通过自标记转换终端。 （英语） 兹伯利1412.68112

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 373-387 (1996).
MSC公司：2012年第68季度
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日 2012年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{U.Martin}，莱克特。注释计算。科学。1104358-372（1996年；Zbl 1412.68243）
全文： 内政部
Hintermeier，克劳斯;赫莱内·基什内尔;彼得·莫塞斯（Peter D.Mosses）。

\（R^n）和（G^n）逻辑。 （英语） 兹伯利1434.03083

Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 90-108 (1996).
MSC公司：03B70号 03B16号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Hintermeier}等人，Lect。注释计算。科学。1074，90-108（1996年；兹bl 1434.03083）
全文： 内政部
费雷拉，M.C.F。;H.赞蒂玛。

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

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件