On the Modularity og Confluence in Infinitary Term Rewiting

Originalsprog	Engelsk
Titel	Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	2004
Sider	185-199
ISBN (Trykt)	0302-9743
Status	Udgivet - 2004

Citationsformater

@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",

}