Felix Schernhammer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Felix Schernhammer, Bernhard Gramlich: VMTL-A Modular Termination Laboratory. RTA 2009: 285-294

2008

1 Felix Schernhammer, Bernhard Gramlich: Termination of Lazy Rewriting Revisited. Electr. Notes Theor. Comput. Sci. 204: 35-51 (2008)

	2009
2		Felix Schernhammer, Bernhard Gramlich: VMTL-A Modular Termination Laboratory. RTA 2009: 285-294
	2008
1		Felix Schernhammer, Bernhard Gramlich: Termination of Lazy Rewriting Revisited. Electr. Notes Theor. Comput. Sci. 204: 35-51 (2008)

Coauthor Index