Talks and Poster Presentations (with Proceedings-Entry):
B. Gramlich, F. Schernhammer:
"Termination of Rewriting with and Automated Synthesis of Forbidden Patterns";
Talk: 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010),
Edinburgh;
2010-07-09; in: "Prelim. Proc. 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)",
H. Kirchner, C. Munoz (ed.);
(2010),
13
- 17.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_194662.pdf
Created from the Publication Database of the Vienna University of Technology.