© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modularity of convergence in infinitary rewriting
Stefan Kahrs
In Ralf Treinen, editor, Rewriting Techniques and Applications, volume 5595 of Lecture Notes in Computer Science, pages 182-196. Springer, June 2009.Bibtex Record
@inproceedings{2937,
author = {Stefan Kahrs},
title = {Modularity of Convergence in Infinitary Rewriting},
month = {June},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2937},
publication_type = {inproceedings},
submission_id = {15177_1247572856},
ISBN = {978-3-642-02347-7},
booktitle = {Rewriting Techniques and Applications},
editor = {Ralf Treinen},
volume = {5595},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
ISSN = {0302-9743},
refereed = {yes},
}