Modularity of Convergence in Infinitary Rewriting

Stefan Kahrs. Modularity of Convergence in Infinitary Rewriting. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 179-193, Springer, 2009. [doi]

Abstract

Abstract is missing.