On the Modularity og Confluence in Infinitary Term Rewiting
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
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 |
ID: 15112