Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. Algorithms with polynomial interpretation termination proof. (English) Zbl 0987.68042 J. Funct. Program. 11, No. 1, 33-53 (2001). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Bonfante} et al., J. Funct. Program. 11, No. 1, 33--53 (2001; Zbl 0987.68042) Full Text: DOI
Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. Complexity classes and rewrite systems with polynomial interpretation. (English) Zbl 0934.03052 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 372-384 (1999). MSC: 03D15 68Q15 68Q42 PDFBibTeX XMLCite \textit{G. Bonfante} et al., Lect. Notes Comput. Sci. 1584, 372--384 (1999; Zbl 0934.03052)