Kop, Cynthia; Middeldorp, Aart; Sternagel, Thomas Complexity of conditional term rewriting. (English) Zbl 1398.68275 Log. Methods Comput. Sci. 13, No. 1, Paper No. 6, 56 p. (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{C. Kop} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 6, 56 p. (2017; Zbl 1398.68275) Full Text: DOI arXiv
Lucas, Salvador; Meseguer, José Dependency pairs for proving termination properties of conditional term rewriting systems. (English) Zbl 1353.68155 J. Log. Algebr. Methods Program. 86, No. 1, 236-268 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 86, No. 1, 236--268 (2017; Zbl 1353.68155) Full Text: DOI
Nishida, Naoki; Vidal, German Program inversion for tail recursive functions. (English) Zbl 1236.68144 Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 283-298, electronic only (2011). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{N. Nishida} and \textit{G. Vidal}, LIPIcs -- Leibniz Int. Proc. Inform. 10, 283--298 (2011; Zbl 1236.68144) Full Text: DOI Link
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador; Navarro-Marset, Rafael Proving termination properties with mu-term. (English) Zbl 1308.68068 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 201-208 (2011). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Alarcón} et al., Lect. Notes Comput. Sci. 6486, 201--208 (2011; Zbl 1308.68068) Full Text: DOI
Schernhammer, Felix; Gramlich, Bernhard Characterizing and proving operational termination of deterministic conditional term rewriting systems. (English) Zbl 1206.68163 J. Log. Algebr. Program. 79, No. 7, 659-688 (2010). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{F. Schernhammer} and \textit{B. Gramlich}, J. Log. Algebr. Program. 79, No. 7, 659--688 (2010; Zbl 1206.68163) Full Text: DOI
Gutiérrez, Raúl; Lucas, Salvador Proving termination in the context-sensitive dependency pair framework. (English) Zbl 1306.68072 Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20–21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 18-34 (2010). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 6381, 18--34 (2010; Zbl 1306.68072) Full Text: DOI
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador Context-sensitive dependency pairs. (English) Zbl 1206.68158 Inf. Comput. 208, No. 8, 922-968 (2010). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Alarcón} et al., Inf. Comput. 208, No. 8, 922--968 (2010; Zbl 1206.68158) Full Text: DOI