On the role of names in reasoning about lambda-tree syntax specifications
Citation
Tiu, A 2009, 'On the role of names in reasoning about lambda-tree syntax specifications', Electronic Notes in Theoretical Computer Science, vol. 228, pp. 135-150.Year
2009ANU Authors
Field of Research
- Computational Logic And Formal Languages