Modularity of convergence in infinitary rewriting

Stefan Kahrs

In Rewriting Techniques and Applications, page 15, June 2009 to appear.

Bibtex Record

@inproceedings{2883,
author = {Stefan Kahrs},
title = {Modularity of Convergence in Infinitary Rewriting},
month = {June},
year = {2009},
pages = {15},
keywords = {term rewriting},
note = {to appear},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2883},
    publication_type = {inproceedings},
    submission_id = {27443_1237990745},
    booktitle = {Rewriting Techniques and Applications},
    refereed = {Yes},
}