Talks and Poster Presentations (without Proceedings-Entry):
B. Gramlich:
"Simplifying Termination Proofs by Program Transformation";
Talk: DISC Seminars,
Valencia, Spain;
2002.
Created from the Publication Database of the Vienna University of Technology.