[Back]


Talks and Poster Presentations (without Proceedings-Entry):
B. Gramlich:
"On Modularity of Termination Properties of Rewriting under Strategies";
Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Nagoya, Japan; 2012-05-28.

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