Infinitary Combinatory Reduction Systems
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
| Originalsprog | Engelsk |
|---|---|
| Titel | Proceedings of the 30th International Conference on Rewriting Techniques and Applications |
| Publikationsdato | 2005 |
| Udgave | 3467 |
| Sider | 438-452 |
| Status | Udgivet - 2005 |
ID: 14596