On the Modularity og Confluence in Infinitary Term Rewiting
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
| 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 |
ID: 15112