×

找到73个文档（结果1–73）

最新的 引文 关联
亚历杭德罗·迪亚斯·卡洛;吉多·马丁内斯

概率重写中的合并。 （英语） Zbl 1433.68189号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 115-131 (2018).
MSC公司：2012年第68季度 03B40型 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{G.Martínez}，电子。注释Theor。计算。科学。338115-131（2018年；兹比尔1433.68189）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek

键入量子叠加和测量。 （英语） Zbl 1513.81018号

Martín-Vide，Carlos（编辑）等人，《自然计算的理论与实践》。2017年12月18日至20日，在捷克共和国布拉格举行的第六届国际会议，TPNC 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10687, 281-293 (2017).
MSC公司：81页68 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{G.Dowek}，莱克特。注释计算。科学。10687，281--293（2017；Zbl 1513.81018）
全文： 内政部 哈尔
玛丽亚·保拉（Maria Paola Bonacina）;乌尔里希·富巴赫;Sofronie Stokkermans，维奥利卡

基于一阶模型的推理。 （英语） Zbl 1322.03013号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、181-204课堂讲稿（2015）。
MSC公司：03B35型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}等人，Lect。注释计算。科学。9200、181--204（2015；Zbl 1322.03013）
全文： 内政部 arXiv公司
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫

从搜索到计算：工作中的冗余标准和简化。 （英语） Zbl 1383.68076号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797169-193（2013）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Hillenbrand}等人，Lect。注释计算。科学。7797、169--193（2013；Zbl 1383.68076）
全文： 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。
MSC公司：2003年8月 01A70型 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003）
全文： 内政部
Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊格尔内拉拉

将肖斯塔克理论中的重写和地面AC完成模块经典化。 （英语） 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公司
Stickel，Mark E。

构建定理证明者。 （英语） Zbl 1250.68235号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，306-321（2009）。
MSC公司：68吨15 03B35型 03B47号
PDF格式BibTeX公司 XML格式引用
\textit｛M.E.Stickel｝，勒克特。注释计算。科学。5663、306--321（2009年；Zbl 1250.68235）
全文： 内政部
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇

交换群的可组合扩张。 （英语） 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）
全文： 内政部 链接
巴勃罗·阿里吉;Gilles Dowek

线性代数\（lambda \）-演算：高阶、编码和合流。 （英语） Zbl 1146.68027号

安德烈·沃伦科夫（编辑），《重写技术与应用》。第19届国际会议，2008年RTA，2008年7月15日至17日，奥地利哈根贝格。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，17-31（2008）。
MSC公司：68甲18 2012年第68季度 03B40型 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{P.Arrighi}和\textit{G.Dowek}，莱克特。注释计算。科学。5117，17-31（2008；Zbl 1146.68027）
全文： 内政部
塔内尔·塔米特;Jan M.史密斯。

一阶逻辑中类型理论片段的优化编码。 （英语） Zbl 1434.03033号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1158, 265-287 (1996).
MSC公司：03B35型 03B38型 03B20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Tammet}和\textit{J.M.Smith}，莱克特。注释计算。科学。1158265-287（1996年；Zbl 1434.03033）
全文： 内政部
罗伯特·纽文胡斯;阿尔伯特·鲁比奥

带约束的AC叠加：不需要AC生成器。 （英语） Zbl 1433.68559号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 545-559 (1994).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{R.Nieuwenhuis}和\textit{A.Rubio}，莱克特。注释计算。科学。814545-559（1994年；Zbl 1433.68559）
全文： 内政部
张汉涛

完成模分配和交换群的案例研究。 （英语） Zbl 1503.68297号

克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。690, 32-46 (1993).
MSC公司：68伏15 03B35型 2008年7月17日 2017年05月 20-08 20K99美元 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}，莱克特。注释计算。科学。690、32-46（1993年；Zbl 1503.68297）
全文： 内政部
克里斯托弗·林奇;韦恩·斯奈德

约束完工的冗余标准。 （英语） Zbl 1503.68293号

克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。690，2-16页（1993年）。
MSC公司：68伏15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Lynch}和\textit{W.Snyder}，莱克特。注释计算。科学。690，2--16（1993；Zbl 1503.68293）
全文： 内政部
弗兰兹·巴德

各种完全正则半群的统一。 （英语） Zbl 1518.68152号

Schulz，K.U.（编辑），单词方程和相关主题。1990年10月1日至3日，德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。572, 210-230 (1992).
MSC公司：2012年第68季度 03B35型 2007年7月20日 2017年11月20日
PDF格式BibTeX公司 XML格式引用
\文本｛F.Baader｝，Lect。注释计算。科学。572、210-230（1992年；Zbl 1518.68152）
全文： 内政部
弗兰兹·巴德

统一理论。 （英语） Zbl 1518.68151号

Schulz，K.U.（编辑），单词方程和相关主题。第一次国际研讨会，IWWERT'90，德国图宾根，1990年10月1日至3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。572, 151-170 (1992).
MSC公司：2012年第68季度 03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\文本｛F.Baader｝，Lect。注释计算。科学。572151-170（1992年；Zbl 1518.68151）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;Jieh乡

作为半决策程序的完成程序。 （英语） Zbl 1508.03039号

Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 206-232 (1991).
MSC公司：03B35型 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{J.Xiang}，Lect。注释计算。科学。516206-232（1991年；Zbl 1508.03039）
全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普

重写中的开放问题。 （英语） Zbl 1503.68100号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 445-456 (1991).
MSC公司：2012年第68季度 03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}等人，Lect。注释计算。科学。488445--456（1991年；Zbl 1503.68100）
全文： 内政部
巴利亚特·纳伦德兰;米歇尔·鲁西诺维奇

任何基结合交换理论都有一个有限的正则系统。 （英语） Zbl 1509.03044号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 423-434 (1991).
MSC公司：03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Narendran}和\textit{M.Rusinovitch}，莱克特。注释计算。科学。488423-434（1991年；Zbl 1509.03044）
全文： 内政部 链接
克劳德·马奇

地面交流完成。 （英语） 兹伯利1514.03038

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 411-422 (1991).
MSC公司：03B35型 03B25号 03D40号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Marché}，莱克特。注释计算。科学。488411--422（1991年；Zbl 1514.03038）
全文： 内政部
J·阿文豪斯。

用补全和嵌入技术证明方程和归纳定理。 （英语） Zbl 1503.03010号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 361-373 (1991).
MSC公司：03B35型 2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Avenhaus}，莱克特。注释计算。科学。488361-373（1991年；Zbl 1503.03010）
全文： 内政部
凯·萨洛马

一元项重写系统的合流和终止的可判定性。 （英语） Zbl 1503.68151号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 275-286 (1991).
MSC公司：2012年第68季度 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{K.Salomaa}，莱克特。注释计算。科学。488275-286（1991年；Zbl 1503.68151）
全文： 内政部
罗尔夫·索歇尔·安布罗西乌斯

布尔代数不允许收敛项重写系统。 （英语） Zbl 1503.03021号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 264-274 (1991).
MSC公司：03B35型 05年6月 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Socher-Ambrosius}，莱克特。注释计算。科学。488264-274（1991年；Zbl 1503.03021）
全文： 内政部
韦恩·斯奈德;克里斯托弗·林奇

目标导向的副调制策略。 （英语） Zbl 1503.68295号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 150-161 (1991).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{W.Snyder}和\textit{C.Lynch}，莱克特。注释计算。科学。488150-161（1991年；Zbl 1503.68295）
全文： 内政部
埃里克·多曼纽德

通过订单排序的AC1统一实现AC统一。 （英语） Zbl 1503.68102号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 98-111 (1991).
MSC公司：2012年第68季度 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{E.Domenjoud}，莱克特。注释计算。科学。488、98——111（1991年；Zbl 1503.68102）
全文： 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛

充分完备性、基态可约性及其复杂性。 （英语） Zbl 0721.68032号

学报信息。 28，第4期，311-350（1991）.
审核人：S.P.Yukna（维尔纽斯）
MSC公司：2012年第68季度 68问题65 65年第68季度 2015年3月1日 03天
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}等人，《学报》第28期，第4期，第311--350页（1991年；Zbl 0721.68032）
全文： 内政部
约阿希姆·斯坦巴赫

改进关联路径排序。 （英语） Zbl 1509.68125号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 411-425 (1990).
MSC公司：2012年第68季度 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.斯坦巴赫}，莱克特。注释计算。科学。449411--425（1990年；Zbl 1509.68125）
全文： 内政部
杰拉尔德·彼得森。

具有约束的整套缩减。 （英语） 兹比尔1509.03047

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 381-395 (1990).
MSC公司：03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Peterson}，莱克特。注释计算。科学。449、381--395（1990年；Zbl 1509.03047）
全文： 内政部
托比亚斯·尼普科

组合匹配算法：常规情况。 （英语） 兹比尔1503.68315

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 343-358 (1989).
MSC公司：68瓦30 03C05号机组 03D40号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}，莱克特。注释计算。科学。355343-358（1989年；Zbl 1503.68315）
全文： 内政部
赖，迈克

关于如何“联合和交换”移山。 （英语） Zbl 1519.68111号

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 187-202 (1989).
MSC公司：2012年第68季度 03B35型 03D40号
PDF格式BibTeX公司 XML格式引用
\textit{M.Lai}，莱克特。注释计算。科学。355187-202（1989年；Zbl 1519.68111）
全文： 内政部
蒂莫西·贝尔德。;杰拉尔德·彼得森。;拉尔夫·威尔克森。

模结合性、交换性和恒等式的全套约简。 （英语） Zbl 1503.68286号

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 29-44 (1989).
MSC公司：68伏15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.B.Baird}等人，Lect。注释计算。科学。355、29-44（1989年；Zbl 1503.68286）
全文： 内政部
利奥·巴赫迈尔

证明分辨率和副调制的规范化。 （英语） 兹比尔1503.03015

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 15-28 (1989).
MSC公司：03B35型 05年3月 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bachmair}，莱克特。注释计算。科学。355、15--28（1989年；Zbl 1503.03015）
全文： 内政部
弗兰兹·巴德

交换理论的统一性：一种分类处理。 （英语） Zbl 1496.03036号

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 273-299 (1989).
MSC公司：03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}，莱克特。注释计算。科学。389273-299（1989年；Zbl 1496.03036）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件