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