Gutiérrez, Raúl; Lucas, Salvador mu-term: verify termination properties automatically (system description). (English) Zbl 07614689 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 436-447 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 12167, 436--447 (2020; Zbl 07614689) Full Text: DOI
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. (English) Zbl 1459.68092 J. Autom. Reasoning 64, No. 8, 1611-1662 (2020). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{S. Lucas} et al., J. Autom. Reasoning 64, No. 8, 1611--1662 (2020; Zbl 1459.68092) Full Text: DOI
Gutiérrez, Raúl; Lucas, Salvador Automatic generation of logical models with AGES. (English) Zbl 07178982 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 287-299 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 11716, 287--299 (2019; Zbl 07178982) Full Text: DOI
Lucas, Salvador; Gutiérrez, Raúl Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095 J. Autom. Reasoning 60, No. 4, 465-501 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{R. Gutiérrez}, J. Autom. Reasoning 60, No. 4, 465--501 (2018; Zbl 1398.68095) Full Text: DOI Link
Gutiérrez, Raúl; Lucas, Salvador Function calls at frozen positions in termination of context-sensitive rewriting. (English) Zbl 1321.68330 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 311-330 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 9200, 311--330 (2015; Zbl 1321.68330) Full Text: DOI Link
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
Alarcón, Beatriz; Gutiérrez, Raúl; Iborra, José; Lucas, Salvador Proving termination of context-sensitive rewriting with MU-TERM. (English) Zbl 1278.68113 Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 105-115 (2007). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{B. Alarcón} et al., Electron. Notes Theor. Comput. Sci. 188, 105--115 (2007; Zbl 1278.68113) Full Text: DOI
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador Improving the context-sensitive dependency graph. (English) Zbl 1278.68114 Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 91-103 (2007). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{B. Alarcón} et al., Electron. Notes Theor. Comput. Sci. 188, 91--103 (2007; Zbl 1278.68114) Full Text: DOI