On Confluence of Infinitary Combinatory Reduction Systems
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05) |
| Place of Publication | Berlin |
| Publisher | Springer |
| Publication date | 2005 |
| Edition | 3835 |
| Pages | 199-214 |
| Publication status | Published - 2005 |
ID: 14600