1.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

文章详细全文下载
2.Labelings for Decreasing Diagrams

作　　者：Harald Zankl ;Bertram Felgenhauer ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:377-392.doi:10.4230/LIPIcs.RTA.2011.377

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

文章 ID：186845932

文章详细全文下载
3.Deciding Confluence of Ground Term Rewrite Systems in Cubic Time

作　　者：Bertram Felgenhauer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:165-175.doi:10.4230/LIPIcs.RTA.2012.165

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

文章 ID：186846083

文章详细全文下载
4.Proof Orders for Decreasing Diagrams

作　　者：Bertram Felgenhauer ;Vincent van Oostrom

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:174-189.doi:10.4230/LIPIcs.RTA.2013.174

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

文章 ID：186846311

文章详细全文下载
5.Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules

作　　者：Julian Nagele ;Bertram Felgenhauer ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:257-268.doi:10.4230/LIPIcs.RTA.2015.257

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

文章 ID：186846893

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Bertram Felgenhauer")))) )) ) )"

	Bertram Felgenhauer	5篇
	Aart Middeldorp	3篇
	Harald Zankl	2篇
	Julian Nagele	1篇
	Vincent van Oostrom	1篇

	2015	1篇
	2013	1篇
	2012	1篇
	2011	2篇