×

找到116份文件（结果1–100）

最新的 引文 关联
费比安·米特沃纳;亚历山大·洛赫曼;阿尔特·米德尔多普;伯特伦·费尔根豪尔

在重写的一阶理论中证明证明。 （英语） Zbl 1474.68166号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 127-144 (2021).
MSC公司：2012年第68季度 03B25号 03B35型 05年3月 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mitterwallner}等人，Lect。注释计算。科学。12652、127--144（2021年；Zbl 1474.68166）
全文： 内政部
亚历山大·洛赫曼;阿尔特·米德尔多普

重写一阶理论中无限和正规形式谓词的形式化证明。 （英语） Zbl 1483.68149号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 178-194 (2020).
MSC公司：2012年第68季度 03B70号 65年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Lochmann}和\textit{A.Middeldorp}，莱克托。注释计算。科学。12079178-194（2020年；兹比尔1483.68149）
全文： 内政部
高仁青藤;马科托·哈马纳;Nao Hirokawa;阿尔特·米德尔多普;朱利安·纳格尔;直纪西田;Kiraku Shintani;哈拉尔德·赞克

2018年合流竞赛。 （英语） Zbl 1462.68088号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第32条，第5页（2018年）。
MSC公司：2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Aoto}等人，LIPIcs——莱布尼茨国际程序。通知。108，第32条，第5页（2018；Zbl 1462.68088）
全文： 内政部
克里斯蒂娜·科尔;阿尔特·米德尔多普

ProTeM：验证术语操纵器（系统描述）。 （英语） Zbl 1462.68218号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第31条，第8页（2018年）。
MSC公司：68伏15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kohl}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。108，第31条，第8页（2018；Zbl 1462.68218）
全文： 内政部
莎拉·温克勒;阿尔特·米德尔多普

逻辑约束重写的完成。 （英语） Zbl 1462.68098号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第30条，第18页（2018）。
MSC公司：2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。108，第30条，第18页（2018；Zbl 1462.68098）
全文： 内政部
弗兰齐斯卡·拉普;阿尔特·米德尔多普

福特2.0。 （英语） Zbl 1511.68330号

Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 81-88 (2018).
MSC公司：68伏15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Rapp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。10900，81-88（2018；Zbl 1511.68330）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔;莎拉·温克勒

无限在抽象完成中运行。 （英语） Zbl 1441.68113号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第19条，第16页（2017年）。
MSC公司：2012年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}等人，LIPIcs--Leibniz Int.Proc。通知。84，第19条，第16页（2017；Zbl 1441.68113）
全文： 内政部
朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普

CSI：新证据–进度报告。 （英语） Zbl 1494.68291号

de Moura，Leonardo（编辑），自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10395, 385-397 (2017).
MSC公司：68伏15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Nagele}等人，Lect。注释计算。科学。10395、385--397（2017年；Zbl 1494.68291）
全文： 内政部 链接
弗兰齐斯卡·拉普;阿尔特·米德尔多普

自动实现左-线-右-地重写系统的一阶重写理论。 （英语） Zbl 1387.68149号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第36条，第12页（2016年）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Rapp}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。52，第36条，第12页（2016年；Zbl 1387.68149）
全文： 内政部
朱利安·纳格尔;阿尔特·米德尔多普

左线性项重写系统经典合流结果的证明。 （英语） Zbl 1478.68117号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 290-306 (2016).
MSC公司：2012年第68季度 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Nagele}和\textit{A.Middeldorp}，莱克特。注释计算。科学。9807290-306（2016；Zbl 1478.68117）
全文： 内政部 链接
阿尔特·米德尔多普（编辑）;范·拉姆斯敦克（编辑）

2014年7月13日，奥地利维也纳，TERMGRAPH 2014，第八届术语和图形计算国际研讨会论文集。 （英语） Zbl 1446.68017号

理论计算机科学电子论文集（EPTCS）183.滑铁卢：开放出版协会。80页。，仅电子版，开放存取（2015年）。
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Middeldorp｝（编辑）和\textit｛F.van Raamsdonk｝（编辑），第八届术语和图形计算国际研讨会论文集，TERMGRAPH 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）（2015；Zbl 1446.68017）
全文： 内政部 arXiv公司 链接
朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普

利用冗余规则改进重写系统的自动合流分析。 （英语） Zbl 1366.68125号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，257-268（2015）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Nagele}等人，LIPIcs——莱布尼茨国际程序。通知。36、257--268（2015；Zbl 1366.68125）
全文： 内政部
辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔

条件复杂性。 （英语） Zbl 1366.68121号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，223-240（2015）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kop}等人，LIPIcs——莱布尼茨国际程序。通知。36、223--240（2015年；Zbl 1366.68121）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普;乔治·莫瑟

重新访问最左侧最外侧。 （英语） Zbl 1366.68119号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，209-222（2015）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}等人，LIPIcs--Leibniz Int.Proc。通知。36、209--222（2015；Zbl 1366.68119）
全文： 内政部
伯特伦·费尔根豪尔;阿尔特·米德尔多普;哈拉尔德·赞克;文森特·凡·奥斯特罗姆

用于证明汇流的分层系统。 （英语） Zbl 1354.68138号

ACM事务处理。计算。日志。 16，第2号，第14条，32页（2015年）.
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.Felgenhauer}等人，《美国医学杂志》。计算。日志。16，第2号，第14条，32页（2015；Zbl 1354.68138）
全文： 内政部 arXiv公司
Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔

抽象完成的新的形式化证明。 （英语） Zbl 1416.68164号

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8558, 292-307 (2014).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}等人，Lect。注释计算。科学。8558、292--307（2014；Zbl 1416.68164）
全文： 内政部
托马斯·斯特纳格尔;阿尔特·米德尔多普

条件汇流（系统描述）。 （英语） Zbl 1416.68181号

Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 456-465 (2014).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Sternagel}和\textit{A.Middeldorp}，莱克特。注释计算。科学。8560，456--465（2014；Zbl 1416.68181）
全文： 内政部
Akihisa山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普

AC-KBO再次访问。 （英语） Zbl 1417.68079号

Michael Codish（编辑）等人，《函数和逻辑编程》。2014年6月4日至6日，第十二届国际研讨会，FLOPS 2014，日本金泽。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8475, 319-335 (2014).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Yamada}等人，Lect。注释计算。科学。8475、319--335（2014；Zbl 1417.68079）
全文： 内政部 arXiv公司
莎拉·温克勒;哈拉尔德·赞克;阿尔特·米德尔多普

Ordinals和Knuth-Bendix命令。 （英语） Zbl 1352.03018号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180420-434（2012）。
MSC公司：03B35型 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}等人，Lect。注释计算。科学。7180420-434（2012；Zbl 1352.03018）
全文： 内政部
弗里德里希·纽罗特;阿尔特·米德尔多普

关于矩阵解释的领域和维度层次。 （英语） Zbl 1352.68122号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180320-334（2012）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Neurauter｝和\textit｛A.Middeldorp｝，Lect。注释计算。科学。7180320-334（2012年；Zbl 1352.68122）
全文： 内政部
莎拉·温克勒;哈拉尔德·赞克;阿尔特·米德尔多普

超越Peano算法——自动证明Goodstein序列的终止。 （英语） Zbl 1356.68206号

van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21335-351（2013）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}等人，LIPIcs——莱布尼茨国际程序。通知。21、335--351（2011；Zbl 1356.68206）
全文： 内政部
莎拉·温克勒;阿尔特·米德尔多普

重新审查正常完工情况。 （英语） Zbl 1356.68127号

van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，319-334（2013）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。21319--334（2011；Zbl 1356.68127）
全文： 内政部
伯特伦·费尔根豪尔;哈拉尔德·赞克;阿尔特·米德尔多普

证明汇流的分层系统。 （英语） Zbl 1246.68136号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，288-299，仅电子版（2011年）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Felgenhauer}等人，LIPIcs——莱布尼茨国际程序。通知。13、288--299（2011；Zbl 1246.68136）
全文： 内政部
哈拉尔德·赞克;伯特伦·费尔根豪尔;阿尔特·米德尔多普

减少图表的标签。 （英语） Zbl 1236.68157号

Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学会议录10，377-392，仅电子版（2011年）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}等人，LIPIcs——莱布尼茨国际程序。通知。10，377--392（2011；Zbl 1236.68157）
全文： 内政部 arXiv公司 链接
弗里德里希·纽罗特;阿尔特·米德尔多普

重温矩阵解释，以证明重写项的终止。 （英语） Zbl 1236.68141号

Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学会议录10，251-266，仅电子版（2011年）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Neurauter}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。10，251--266（2011；Zbl 1236.68141）
全文： 内政部 链接
哈拉尔德·赞克;伯特伦·费尔根豪尔;阿尔特·米德尔多普

CSI–汇流工具。 （英语） Zbl 1341.68199号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，499-505（2011）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}等人，Lect。注释计算。科学。6803499--505（2011；Zbl 1341.68199）
全文： 内政部
莎拉·温克勒;阿尔特·米德尔多普

使用终端工具完成AC。 （英语） 兹比尔1341.68198

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，492-498（2011）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}和\textit{A.Middeldorp}，莱克特。注释计算。科学。6803492--498（2011年；Zbl 1341.68198）
全文： 内政部
阿尔特·米德尔多普;乔治·莫瑟;弗里德里希·纽罗特;约翰内斯·沃德曼;哈拉尔德·赞克

重写系统复杂度自动分析的联合谱半径理论。 （英语） Zbl 1307.68042号

Winkler，Franz（编辑），代数信息学。2011年6月21日至24日，第四届国际会议，CAI 2011，奥地利林茨。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21492-9/pbk）。计算机科学课堂讲稿6742，1-20（2011）。
MSC公司：2012年第68季度 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Middeldorp}等人，Lect。注释计算。科学。6742，1--20（2011；Zbl 1307.68042）
全文： 内政部
莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito

优化\（\text{mkb}_{\text{TT}}\）。 （英语） Zbl 1236.68156号

克里斯托弗·林奇（编辑），《第21届改写技术和应用国际会议论文集》（RTA 2010），2010年7月11日至13日，英国斯科特兰爱丁堡。瓦德恩：达格斯图尔宫-莱布尼茨宫（ISBN 978-3-939897-18-7）。LIPIcs–莱布尼茨国际信息学会议录6，373-384，仅电子版（2010年）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Winkler}等人，LIPIcs——莱布尼茨国际程序。通知。6373-384（2010年；Zbl 1236.68156）
全文： 内政部 链接
弗里德里希·纽罗特;阿尔特·米德尔多普

实域上的多项式解释不包含整数上的多项式说明。 （英语） 兹比尔1236.68142

克里斯托弗·林奇（编辑），《第21届改写技术和应用国际会议论文集》（RTA 2010），2010年7月11日至13日，英国斯科特兰爱丁堡。瓦德恩：达格斯图尔宫-莱布尼茨宫（ISBN 978-3-939897-18-7）。LIPIcs–莱布尼茨国际信息学会议录6，243-258，仅电子版（2010年）。
MSC公司：2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Neurauter}和\textit{A.Middeldorp}，LIPIcs——莱布尼茨国际程序。通知。6243——258（2010年；Zbl 1236.68142）
全文： 内政部 链接
哈拉尔德·赞克;阿尔特·米德尔多普

非线性（ir）有理算法的可满足性。 （英语） Zbl 1310.68126号

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，481-500（2010）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。6355481--500（2010年；Zbl 1310.68126）
全文： 内政部 链接
弗里德里希·纽罗特;哈拉尔德·赞克;阿尔特·米德尔多普

重温多项式导数项重写复杂性的矩阵解释。 （英语） Zbl 1306.68083号

Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397550-564（2010）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Neurauter}等人，Lect。注释计算。科学。6397550-564（2010年；Zbl 1306.68083）
全文： 内政部
莎拉·温克勒;阿尔特·米德尔多普

有序完成中的终止工具。 （英语） 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）
全文： 内政部
弗里德里希·纽罗特;阿尔特·米德尔多普;哈拉尔德·赞克

自然多项式解释的单调性准则。 （英语） Zbl 1291.68365号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，502-517（2010）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Neurauter}等人，Lect。注释计算。科学。6173502--517（2010年；Zbl 1291.68365）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

减少图表和相对终止。 （英语） Zbl 1291.68347号

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

查找和验证循环。 （英语） Zbl 1274.68153号

van Leeuwen，Jan（编辑）等人，SOFSEM 2010：计算机科学的理论与实践。2010年1月23日至29日，第36届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11265-2/pbk）。计算机科学课堂讲稿5901755-766（2010）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛H.Zankl｝等人，Lect。注释计算。科学。5901755--766（2010年；Zbl 1274.68153）
全文： 内政部
哈拉尔德·赞克;克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普

将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）
全文： 内政部 链接
阿尔特·米德尔多普（编辑）

2008年7月14日，奥地利哈根堡堡，第八届改写和编程简化策略国际研讨会论文集（WRS 2008）。 （英语） Zbl 1280.68031号

理论计算机科学电子笔记237.阿姆斯特丹：爱思唯尔。125页。，仅电子版（2009年）。
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Middeldorp}（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：Elsevier（2009；Zbl 1280.68031）
全文： 链接
马丁·科尔普;阿尔特·米德尔多普

超越依赖关系图。 （英语） Zbl 1250.68143号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，339-354（2009）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Korp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5663、339--354（2009年；Zbl 1250.68143）
全文： 内政部
雷内·蒂曼;阿尔特·米德尔多普

通过标记最早终止重写系统。 （英语） Zbl 1279.68121号

Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204，3-19（2008）。
MSC公司：2012年第68季度 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}和\textit{A.Middeldorp}，电子。注释Theor。计算。科学。204、3-19（2008年；Zbl 1279.68121）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普;哈拉尔德·赞克

不急于终止。 （英语） Zbl 1182.68094号

Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学讲义5330。人工智能课堂讲稿，667-681（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}等人，Lect。注释计算。科学。5330667--681（2008年；Zbl 1182.68094）
全文： 内政部
哈拉尔德·赞克;阿尔特·米德尔多普

增加解释。 （英语） Zbl 1166.68381号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能课堂讲稿》，191-205（2008）。
MSC公司：68瓦30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5144191-205（2008年；Zbl 1166.68381）
全文： 内政部
马丁·科尔普;阿尔特·米德尔多普

用依赖对匹配边界来证明重写系统的终止。 （英语） Zbl 1156.68430号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-88281-7/pbk）。计算机科学课堂讲稿5196，321-332（2008）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Korp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5196、321--332（2008年；Zbl 1156.68430）
全文： 内政部
克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普

根标记。 （英语） Zbl 1145.68453号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，336-350（2008）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛C.Sternagel｝和\textit｛A.Middeldorp｝，Lect。注释计算。科学。5117336-350（2008年；Zbl 1145.68453）
全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克

最大终止。 （英语） Zbl 1145.68446号

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

使用SAT使用依赖对进行预测标记。 （英语） Zbl 1213.68349号

Pfenning，Frank（编辑），自动扣除-CADE-21。第21届自动扣减国际会议，2007年7月17日至20日，德国不来梅。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73594-6/pbk）。计算机科学课堂讲稿4603。人工智能课堂讲稿，410-425（2007）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Koprowski}和\textit{A.Middeldorp}，莱克托。注释计算。科学。4603410--425（2007；Zbl 1213.68349）
全文： 内政部
哈拉尔德·赞克;Nao Hirokawa;阿尔特·米德尔多普

参数筛选的约束。 （英语） Zbl 1131.68468号

van Leeuwen，Jan（编辑）等人，SOFSEM 2007：计算机科学的理论与实践。2007年1月20日至26日在捷克共和国哈拉乔夫举行的第33届计算机科学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69506-6/pbk）。计算机科学课堂讲稿4362579-590（2007）。
MSC公司：2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}等人，Lect。注释计算。科学。4362、579-590（2007年；Zbl 1131.68468）
全文： 内政部
哈拉尔德·赞克;阿尔特·米德尔多普

满足KBO约束。 （英语） Zbl 1203.68080号

Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，389-403（2007）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。4533，389--403（2007；Zbl 1203.68080）
全文： 内政部
马丁·科尔普;阿尔特·米德尔多普

使用边界证明重写系统的终止。 （英语） 兹比尔1203.68077

Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，273-287（2007）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Korp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。4533，273--287（2007；Zbl 1203.68077）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

预测标记。 （英语） Zbl 1151.68446号

Pfenning，Frank（编辑），术语重写和应用。第17届国际会议，RTA 2006，西雅图，华盛顿州，美国，2006年8月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-36834-2/pbk）。计算机科学课堂讲稿4098313-327（2006）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。4098313--327（2006年；Zbl 1151.68446）
全文： 内政部
阿尔特·米德尔多普（编辑）;文森特·范·奥斯特罗姆（编辑）;范·拉姆斯敦克（编辑）;罗德·德弗里杰尔（编辑）

过程、术语和循环：走向无限的步伐。在简·威廉·克洛普60岁生日之际献给他的散文。 （英语） Zbl 1097.68007号

计算机科学课堂讲稿3838.柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。xvii，第639页。(2005).
MSC公司：68-06 68季度xx 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Middeldorp}（ed.）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际，为他撰写的论文。柏林：施普林格出版社（2005；Zbl 1097.68007）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

Tyrolean端接工具。 （英语） Zbl 1078.68656号

Giesl，Jürgen（编辑），术语重写和应用。2005年4月19日至21日在日本奈良举行的RTA 2005第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25596-6/pbk）。计算机科学课堂讲稿3467175-184（2005）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。3467175--184（2005年；Zbl 1078.68656）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

重新访问依赖项对。 （英语） Zbl 1187.68275号

van Oostrom，Vincent（编辑），重写技术和应用。2004年6月3日至5日在德国亚琛举行的2004年RTA第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22153-0/pbk）。计算机科学课堂讲稿3091249-268（2004）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。3091249--268（2004年；Zbl 1187.68275）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

负系数多项式解释。 （英语） Zbl 1109.68501号

Buchberger，Bruno（编辑）等人，《人工智能和符号计算》。2004年9月22日至24日，第七届国际会议，AISC 2004，奥地利林茨。诉讼程序。柏林：施普林格（ISBN 3-540-23212-5/pbk）。计算机科学课堂讲稿3249。《人工智能讲义》，185-198（2004）。
MSC公司：2012年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。3249185--198（2004年；Zbl 1109.68501）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

自动化依赖项对方法。 （英语） Zbl 1278.68264号

Franz Baader（编辑），《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40559-3/pbk）。莱克特。注释计算。科学。2741, 32-46 (2003).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2741、32-46（2003年；Zbl 1278.68264）
全文： 内政部
Nao Hirokawa;阿尔特·米德尔多普

筑波端接工具。 （英语） Zbl 1038.68561号

Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 311-320 (2003).
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2706311--320（2003年；Zbl 1038.68561）
全文： 链接
吉尔根·吉斯尔;阿尔特·米德尔多普

上下文敏感重写的最内在终止。 （英语） Zbl 1015.68106号

伊藤正美（编辑）等，《语言理论的发展》。第六届国际会议，DLT 2002，日本京都，2002年9月18日至21日。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2450, 231-244 (2003).
MSC公司：65年第68季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2450231--244（2003；Zbl 1015.68106）
全文： 链接
阿尔特·米德尔多普

策略和终止的近似值。 （英语） Zbl 1270.68132号

Gramlich，Bernhard（编辑）等人，WRS 2002。2002年7月21日在丹麦哥本哈根举行的第二届改写和编程减少战略国际研讨会（FLoC卫星活动）的最后会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第6期，1-20（2002）。
MSC公司：2012年第68季度 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Middeldorp}，电子。注释Theor。计算。科学。70，第6号，1--20（2002；Zbl 1270.68132）
全文： 链接
阿尔特·米德尔多普

使用树自动机技术近似依赖关系图。 （英语） Zbl 0988.68162号

Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2083, 593-610 (2001).
MSC公司：68吨15 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Middeldorp}，莱克特。注释计算。科学。2083593-610（2001年；Zbl 0988.68162）
全文： 链接
艾琳·杜兰德;阿尔特·米德尔多普

关于决定呼叫需求的模块化。 （英语） Zbl 0978.68071号

Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 199-213 (2001).
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{I.Durand}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2030年，199-213年（2001年；Zbl 0978.68071）
全文： 链接
铃木、芋头;阿尔特·米德尔多普

惰性条件收缩的完整选择函数。 （英语） 兹比尔0977.68048

Kuchen，Herbert（编辑）等人，《函数和逻辑编程》。第五届国际研讨会，FLOPS 2001，日本东京，2001年3月7日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2024年、201-215年（2001年）。
MSC公司：2012年第68季度 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{T.铃木}和\textit{A.Middeldorp}，莱克特。注释计算。科学。2024201--215（2001；Zbl 0977.68048）
全文： 链接
Hitoshi大坂;阿尔特·米德尔多普;吉尔根·吉斯尔

通过语义标记实现等式终止。 （英语） Zbl 0973.68094号

Peter G.Clote（编辑）等人，《计算机科学逻辑》。第14届国际研讨会，CSL 2000。2000年8月21日至26日在德国菲施巴乔举行的欧洲原子能委员会年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1862, 457-471 (2000).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Ohsaki}等人，Lect。注释计算。科学。1862457-471（2000年；Zbl 0973.68094）
吉尔根·吉斯尔;阿尔特·米德尔多普

消除虚拟消除。 （英语） Zbl 0963.68181号

David McAllester（编辑），《自动扣除-CADE-17》。第17届国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1831, 309-323 (2000).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。1831309--323（2000年；Zbl 0963.68181）
穆罕默德·哈马达;阿尔特·米德尔多普;铃木、芋头

惰性条件收缩演算的完整性结果。 （英语） Zbl 0960.68085号

Calude，C.S.（编辑）等人，《组合数学、计算与逻辑》。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：施普林格。澳大利亚。计算。科学。Commun公司。21, 3, 217-231 (1999).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hamada}等人，in：组合数学、计算与逻辑。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：施普林格。217--231（1999年；Zbl 0960.68085）
艾琳·杜兰德;阿尔特·米德尔多普

术语重写（扩展抽象）中的按需决定调用计算。 （英语） Zbl 1430.68133号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 4-18 (1997).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Durand}和\textit{A.Middeldorp}，莱克特。注释计算。科学。1249，4-18（1997；Zbl 1430.68133）
全文： 内政部
Hitoshi大坂;阿尔特·米德尔多普

等式改写的类型介绍。 （英语） Zbl 0889.68086号

Adian，S.（编辑）等人，《计算机科学的逻辑基础》。第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1234, 283-293 (1997).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Ohsaki}和\textit{A.Middeldorp}，莱克特。注释计算。科学。1234283-293（1997年；兹bl 0889.68086）
阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马

术语重写中的相对不确定性。 （英语） 兹伯利0884.68067

Dalen，Dirk van（编辑）等人，《计算机科学逻辑》。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1258, 150-166 (1997).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Geser}等人，Lect。注释计算。科学。1258150--166（1997年；Zbl 0884.68067）
阿尔特·米德尔多普;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。注释计算。科学。1104733-387（1996年；兹bl 1412.68112）
全文： 内政部 链接
铃木、芋头;阿尔特·米德尔多普;艾达、铁雄

右手边有额外变量的条件重写系统的水平影响。 （英语） Zbl 1503.68159号

项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。914, 179-193 (1995).
MSC公司：2012年第68季度 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{T.铃木}等人，Lect。注释计算。科学。914179--193（1995年；Zbl 1503.68159）
全文： 内政部
佐藤奥奎;阿尔特·米德尔多普;艾达、铁雄

惰性收缩：强完整性和急切的变量消除（扩展抽象）。 （英语） Zbl 1496.68167号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 394-408 (1995).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Okui}等人，Lect。注释计算。科学。915394--408（1995年；Zbl 1496.68167）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件