© 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}, }