Skip navigation
The Australian National University

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

2007

Field of Research

  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers