Lucas, Salvador Local confluence of conditional and generalized term rewriting systems. (English) Zbl 07803178 J. Log. Algebr. Methods Program. 136, Article ID 100926, 23 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 136, Article ID 100926, 23 p. (2024; Zbl 07803178) Full Text: DOI
Lucas, Salvador Using well-founded relations for proving operational termination. (English) Zbl 1468.03034 J. Autom. Reasoning 64, No. 2, 167-195 (2020). MSC: 03B70 03F07 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, J. Autom. Reasoning 64, No. 2, 167--195 (2020; Zbl 1468.03034) Full Text: DOI Link
Lucas, Salvador Proving semantic properties as first-order satisfiability. (English) Zbl 1478.68356 Artif. Intell. 277, Article ID 103174, 24 p. (2019). MSC: 68T27 68N17 68P15 68Q42 68V15 PDFBibTeX XMLCite \textit{S. Lucas}, Artif. Intell. 277, Article ID 103174, 24 p. (2019; Zbl 1478.68356) Full Text: DOI Link
Lucas, Salvador Analysis of rewriting-based systems as first-order theories. (English) Zbl 1508.68068 Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 180-197 (2018). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, Lect. Notes Comput. Sci. 10855, 180--197 (2018; Zbl 1508.68068) Full Text: DOI
Lucas, Salvador; Meseguer, José Normal forms and normal theories in conditional rewriting. (English) Zbl 1356.68124 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 67-97 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 67--97 (2016; Zbl 1356.68124) Full Text: DOI
Lucas, Salvador Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, Lect. Notes Comput. Sci. 9942, 26--46 (2016; Zbl 1367.68068) Full Text: DOI Link
Lucas, Salvador; Meseguer, José Strong and weak operational termination of order-sorted rewrite theories. (English) Zbl 1367.68144 Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 178-194 (2014). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8663, 178--194 (2014; Zbl 1367.68144) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Meseguer, José Methods for proving termination of rewriting-based programming languages by transformation. (English) Zbl 1337.68067 Almendros-Jiménez, Jesús M (ed.), Proceedings of the 8th Spanish conference on programming and computer languages (PROLE 2008), Gijón, Spain, October 8–10, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 248, 93-113 (2009). MSC: 68N30 03B70 68N15 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 248, 93--113 (2009; Zbl 1337.68067) Full Text: DOI
Lucas, Salvador; Meseguer, José Operational termination of membership equational programs: the order-sorted way. (English) Zbl 1347.68198 Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 207-225 (2009). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 207--225 (2009; Zbl 1347.68198) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier Proving operational termination of membership equational programs. (English) Zbl 1192.68154 High.-Order Symb. Comput. 21, No. 1-2, 59-88 (2008). MSC: 68N99 03B70 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., High.-Order Symb. Comput. 21, No. 1--2, 59--88 (2008; Zbl 1192.68154) Full Text: DOI Link
Lucas, Salvador On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. (English) Zbl 1103.68061 Appl. Algebra Eng. Commun. Comput. 17, No. 1, 49-73 (2006). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{S. Lucas}, Appl. Algebra Eng. Commun. Comput. 17, No. 1, 49--73 (2006; Zbl 1103.68061) Full Text: DOI
Hanus, Michael; Lucas, Salvador A semantics for program analysis in narrowing-based functional logic languages. (English) Zbl 0988.68089 Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 353-368 (1999). MSC: 68Q42 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hanus} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 1722, 353--368 (1999; Zbl 0988.68089)
Lucas, Salvador Context-sensitive computations in functional and functional programs. (English) Zbl 0924.68106 J. Funct. Log. Program. 1998, Article No. 1 (1998). MSC: 68Q42 68N17 PDFBibTeX XMLCite \textit{S. Lucas}, J. Funct. Log. Program. 1998, Article No. 1 (1998; Zbl 0924.68106) Full Text: Link