DSpace at RU >

Browsing by Author Waldmann, J.

Full Text	Issue Date	Title	Author(s)
	2008	Matrix Interpretations for Proving Termination of TermRewriting	Endrullis, J.; Waldmann, J.; Zantema, H.
	2007	On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems	Geser, A.; Hofbauer, D.; Waldmann, J.; Zantema, H.
	2007	Termination by quasi-periodic interpretations	Zantema, H.; Waldmann, J.; Baader, F.