Bertram Felgenhauer

	2012
4		Bertram Felgenhauer: Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. RTA 2012: 165-175
	2011
3		Harald Zankl, Bertram Felgenhauer, Aart Middeldorp: CSI - A Confluence Tool. CADE 2011: 499-505
2		Bertram Felgenhauer, Harald Zankl, Aart Middeldorp: Layer Systems for Proving Confluence. FSTTCS 2011: 288-299
1		Harald Zankl, Bertram Felgenhauer, Aart Middeldorp: Labelings for Decreasing Diagrams. RTA 2011: 377-392

Coauthor Index

1	Aart Middeldorp	[1] [2] [3]
2	Harald Zankl	[1] [2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page