1.Uncurrying for Innermost Termination and Derivational Complexity

作　　者：Harald Zankl ;Nao Hirokawa ;Aart Middeldorp

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;49:46-57.doi:10.4204/EPTCS.49.4

出版社：Open Publishing Association

文章 ID：83120129

文章详细全文下载

2.Infinite Runs in Abstract Completion

作　　者：Nao Hirokawa ;Aart Middeldorp ;Christian Sternagel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:19:1-19:16.doi:10.4230/LIPIcs.FSCD.2017.19

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735128

文章详细全文下载

3.Completion for Logically Constrained Rewriting

作　　者：Sarah Winkler ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:30:1-30:18.doi:10.4230/LIPIcs.FSCD.2018.30

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014788

文章详细

4.ProTeM: A Proof Term Manipulator (System Description)

作　　者：Christina Kohl ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:31:1-31:8.doi:10.4230/LIPIcs.FSCD.2018.31

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014789

文章详细

5.Confluence Competition 2018

作　　者：Takahito Aoto ;Makoto Hamana ;Nao Hirokawa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:32:1-32:5.doi:10.4230/LIPIcs.FSCD.2018.32

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014790

文章详细

6.Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

作　　者：Friedrich Neurauter ;Aart Middeldorp

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:22)2014

出版社：Technical University of Braunschweig

文章 ID：264692142

文章详细全文下载

7.Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

作　　者：Friedrich Neurauter ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:243-258.doi:10.4230/LIPIcs.RTA.2010.243

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845702

文章详细全文下载

8.Optimizing mkbTT

作　　者：Sarah Winkler ;Haruhiko Sato ;Aart Middeldorp 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:373-384.doi:10.4230/LIPIcs.RTA.2010.373

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845710

文章详细全文下载

9.Layer Systems for Proving Confluence

作　　者：Bertram Felgenhauer ;Harald Zankl ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:288-299.doi:10.4230/LIPIcs.FSTTCS.2011.288

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845886

文章详细全文下载

10.Revisiting Matrix Interpretations for Proving Termination of Term Rewriting

作　　者：Friedrich Neurauter ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:251-266.doi:10.4230/LIPIcs.RTA.2011.251

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845924

文章详细全文下载

	有本地全文	14篇
	有全文链接	3篇

	2018	3篇
	2017	1篇
	2016	1篇
	2015	3篇
	2014	1篇

	2013	2篇
	2011	3篇
	2010	3篇

	Friedrich Neurauter	3篇
	Julian Nagele	2篇
	Christian Sternagel	1篇
	Christina Kohl	1篇
	Cynthia Kop	1篇
	Franziska Rapp	1篇
	Georg Moser	1篇
	Haruhiko Sato	1篇
	Kiraku Shintani	1篇
	Makoto Hamana	1篇
	Masahito Kurihara	1篇
	Naoki Nishida	1篇
	Takahito Aoto	1篇
	Thomas Sternagel	1篇

	德国	16篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Aart Middeldorp")))) )) ) )"

	Aart Middeldorp	17篇
	Harald Zankl	5篇
	Sarah Winkler	5篇
	Nao Hirokawa	4篇
	Bertram Felgenhauer	3篇

	LIPIcs : Leibniz International Proceedings in Informatics	15篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇