Termination of abstract reduction systems
Citation
Dawson, J & Gore, R 2007, 'Termination of abstract reduction systems', Computing: The Australasian Theory Symposium (CATS 2007), ed. Joachim Gudmundsson and Barry Jay, Association for Computing Machinery Inc (ACM), Sydney, Australia, pp. 35-44.Year
2007ANU Authors
Field of Research
- Computational Logic And Formal Languages