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
2004ANU Authors
Field of Research
- Computational Logic And Formal Languages