Skip navigation
The Australian National University

A general theorem on termination of rewriting

Citation

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.

Year

2004

Field of Research

  • Computational Logic And Formal Languages

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