[Back]


Talks and Poster Presentations (without Proceedings-Entry):
G. Salzer, S Limet:
"Proving Properties of Term Rewrite Systems via Logic Programs";
Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05.

Electronic version of the publication:
http://www.springerlink.com/content/0klk33glpg117hxu/fulltext.pdf

Created from the Publication Database of the Vienna University of Technology.