1.Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

作　　者：Jörg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等

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

出版社：Technical University of Braunschweig

文章 ID：264691910

文章详细全文下载
2.Discriminating Lambda-Terms Using Clocked Boehm Trees

作　　者：Jörg Endrullis ;Dimitri Hendriks ;Jan Willem Klop 等

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

出版社：Technical University of Braunschweig

文章 ID：264691912

文章详细全文下载
3.Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

作　　者：Joerg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:85-102.doi:10.4230/LIPIcs.RTA.2010.85

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

文章 ID：186845692

文章详细全文下载
4.A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

作　　者：J{\"o}rg Endrullis ;Helle Hvid Hansen ;Dimitri Hendriks 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:143-159.doi:10.4230/LIPIcs.RTA.2015.143

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

文章 ID：186846886

文章详细全文下载

	Dimitri Hendriks	4篇
	Jan Willem Klop	3篇
	Andrew Polonsky	2篇
	Clemens Grabmayer	2篇
	Jörg Endrullis	2篇

	Alexandra Silva	1篇
	Helle Hvid Hansen	1篇
	Joerg Endrullis	1篇
	J{\"o}rg Endrullis	1篇
	Vincent Oostrom	1篇
	Vincent van Oostrom	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Dimitri Hendriks")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	2篇

	2015	1篇
	2014	2篇
	2010	1篇