Termination of abstract reduction systems
Citation
Dawson, J & Gore, R 2009, 'Termination of abstract reduction systems', International Journal of Foundations of Computer Science, vol. 20, no. 1, pp. 57-82.Year
2009ANU Authors
Fields of Research
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Computational Logic And Formal Languages