Skip navigation
The Australian National University

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

2009

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers