Felix Schernhammer Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2009

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

2008

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

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

Coauthor Index