Talks and Poster Presentations (with Proceedings-Entry):
B. Gramlich, K. Györgyfalvay:
"On Modularity of Termination Properties of Rewriting under Strategies";
Talk: 12th International Workshop on Termination (WST 2012),
Obergurgl;
2012-02-19
- 2012-02-23; in: "Proc. 12th International Workshop on Termination",
G. Moser (ed.);
(2012),
59
- 63.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_216392.pdf
Created from the Publication Database of the Vienna University of Technology.