Skip navigation
The Australian National University

A general theorem on termination of rewriting


Dawson, J & Gore, R 2004, 'A general theorem on termination of rewriting', Annual Conference of the European Association for Computer Science Logic (CSL 2004), ed. Jerzy Marcinkowski, Andrzej Tarlecki, Springer, Berlin, Germany, pp. 100-114.



Field of Research

  • Computational Logic And Formal Languages

Updated:  22 June 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers