On the Modularity og Confluence in Infinitary Term Rewiting

Original language	English
Title of host publication	Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
Place of Publication	Berlin
Publisher	Springer
Publication date	2004
Pages	185-199
ISBN (Print)	0302-9743
Publication status	Published - 2004

Cite this

@inbook{3ba06fe074be11dbbee902004c4f4f50,

title = "On the Modularity og Confluence in Infinitary Term Rewiting",

author = "Simonsen, {Jakob Grue}",

year = "2004",

language = "English",

isbn = "0302-9743",

pages = "185--199",

booktitle = "Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)",

publisher = "Springer",

}