×

zbMATH — the first resource for mathematics

Lucas, Salvador

Compute Distance To:
Author ID: lucas.salvador Recent zbMATH articles by "Lucas, Salvador"
Published as: Lucas, Salvador; Lucas, S.
External Links: ORCID · dblp
Documents Indexed: 77 Publications since 1996, including 4 Books

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 408 times in 131 Documents Cited by Year
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
32
2005
Context-sensitive computations in functional and functional programs. Zbl 0924.68106
Lucas, Salvador
31
1998
Context-sensitive rewriting strategies. Zbl 1012.68095
Lucas, Salvador
27
2002
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
17
2008
Polynomials over the reals in proofs of termination: from theory to practice. Zbl 1085.68076
Lucas, Salvador
14
2005
Termination of rewriting with strategy annotations. Zbl 1275.68084
Lucas, Salvador
14
2001
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
11
2009
Proving termination of context-sensitive rewriting by transformation. Zbl 1171.68514
Lucas, Salvador
10
2006
Proving termination properties with mu-term. Zbl 1308.68068
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador; Navarro-Marset, Rafael
10
2011
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
9
2016
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
Proving termination of context-sensitive rewriting with MU-TERM. Zbl 1278.68113
Alarcón, Beatriz; Gutiérrez, Raúl; Iborra, José; Lucas, Salvador
8
2007
Search techniques for rational polynomial orders. Zbl 1166.68354
Fuhs, Carsten; Navarro-Marset, Rafael; Otto, Carsten; Giesl, Jürgen; Lucas, Salvador; Schneider-Kamp, Peter
7
2008
Improving context-sensitive dependency pairs. Zbl 1182.68092
Alarcón, Beatriz; Emmes, Fabian; Fuhs, Carsten; Giesl, Jürgen; Gutiérrez, Raúl; Lucas, Salvador; Schneider-Kamp, Peter; Thiemann, René
7
2008
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Lazy rewriting and context-sensitive rewriting. Zbl 1268.68100
Lucas, Salvador
7
2002
Strongly sequential and inductively sequential term rewriting systems. Zbl 1339.68136
Hanus, Michael; Lucas, Salvador; Middeldorp, Aart
7
1998
Termination of (canonical) context-sensitive rewriting. Zbl 1045.68074
Lucas, Salvador
6
2002
Termination of context sensitive rewriting by rewriting. Zbl 1046.68565
Lucas, Salvador
6
1996
Context-sensitive dependency pairs. Zbl 1177.68133
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
6
2006
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José
6
2010
Polynomials for proving termination of context-sensitive rewriting. Zbl 1126.68448
Lucas, Salvador
6
2004
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
Context-sensitive dependency pairs. Zbl 1206.68158
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
5
2010
Automatic synthesis of logical models for order-sorted first-order theories. Zbl 1398.68095
Lucas, Salvador; Gutiérrez, Raúl
5
2018
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
5
2014
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
2009
Transfinite rewriting semantics for term rewriting systems. Zbl 0981.68070
Lucas, Salvador
4
2001
Use of logical models for proving infeasibility in term rewriting. Zbl 06873295
Lucas, Salvador; Gutiérrez, Raúl
4
2018
Proving termination in the context-sensitive dependency pair framework. Zbl 1306.68072
Gutiérrez, Raúl; Lucas, Salvador
4
2010
Improving the context-sensitive dependency graph. Zbl 1278.68114
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
4
2007
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Localized operational termination in general logics. Zbl 1453.68053
Lucas, Salvador; Meseguer, José
3
2015
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2002
Termination of innermost context-sensitive rewriting using dependency pairs. Zbl 1148.68463
Alarcón, Beatriz; Lucas, Salvador
3
2007
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2010
Analysis of rewriting-based systems as first-order theories. Zbl 06932830
Lucas, Salvador
3
2018
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
3
2014
Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 1457.68136
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
3
2015
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
2
2018
On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. Zbl 1103.68061
Lucas, Salvador
2
2006
Usable rules for context-sensitive rewrite systems. Zbl 1145.68447
Gutiérrez, Raúl; Lucas, Salvador; Urbain, Xavier
2
2008
Root-neededness and approximations of neededness. Zbl 1339.68139
Lucas, Salvador
2
1998
Use of logical models for proving operational termination in general logics. Zbl 1367.68068
Lucas, Salvador
2
2016
An evaluation semantics for narrowing-based functional logic languages. Zbl 0971.68097
Hanus, Michael; Lucas, Salvador
1
2001
Automatic proofs of termination with elementary interpretations. Zbl 1294.68058
Lucas, Salvador
1
2009
Termination of just/fair computations in term rewriting. Zbl 1146.68040
Lucas, Salvador; Meseguer, José
1
2008
Termination of fair computations in term rewriting. Zbl 1143.68491
Lucas, Salvador; Meseguer, José
1
2005
Generalizing Newman’s lemma for left-linear rewrite systems. Zbl 1151.68445
Gramlich, Bernhard; Lucas, Salvador
1
2006
Strategies in programming languages today. Zbl 1272.68073
Lucas, Salvador
1
2005
Using well-founded relations for proving operational termination. Zbl 07176596
Lucas, Salvador
1
2020
Automatic generation of logical models with AGES. Zbl 07178982
Gutiérrez, Raúl; Lucas, Salvador
1
2019
Function calls at frozen positions in termination of context-sensitive rewriting. Zbl 1321.68330
Gutiérrez, Raúl; Lucas, Salvador
1
2015
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. Zbl 1459.68092
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
1
2020
Using context-sensitive rewriting for proving innermost termination of rewriting. Zbl 1337.68147
Alarcón, Beatriz; Lucas, Salvador
1
2009
Completeness of context-sensitive rewriting. Zbl 1302.68144
Lucas, Salvador
1
2015
Using well-founded relations for proving operational termination. Zbl 07176596
Lucas, Salvador
1
2020
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. Zbl 1459.68092
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
1
2020
Automatic generation of logical models with AGES. Zbl 07178982
Gutiérrez, Raúl; Lucas, Salvador
1
2019
Automatic synthesis of logical models for order-sorted first-order theories. Zbl 1398.68095
Lucas, Salvador; Gutiérrez, Raúl
5
2018
Use of logical models for proving infeasibility in term rewriting. Zbl 06873295
Lucas, Salvador; Gutiérrez, Raúl
4
2018
Analysis of rewriting-based systems as first-order theories. Zbl 06932830
Lucas, Salvador
3
2018
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
2
2018
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
9
2016
Use of logical models for proving operational termination in general logics. Zbl 1367.68068
Lucas, Salvador
2
2016
Localized operational termination in general logics. Zbl 1453.68053
Lucas, Salvador; Meseguer, José
3
2015
Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 1457.68136
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
3
2015
Function calls at frozen positions in termination of context-sensitive rewriting. Zbl 1321.68330
Gutiérrez, Raúl; Lucas, Salvador
1
2015
Completeness of context-sensitive rewriting. Zbl 1302.68144
Lucas, Salvador
1
2015
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
5
2014
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
3
2014
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Proving termination properties with mu-term. Zbl 1308.68068
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador; Navarro-Marset, Rafael
10
2011
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José
6
2010
Context-sensitive dependency pairs. Zbl 1206.68158
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
5
2010
Proving termination in the context-sensitive dependency pair framework. Zbl 1306.68072
Gutiérrez, Raúl; Lucas, Salvador
4
2010
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2010
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
11
2009
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
2009
Automatic proofs of termination with elementary interpretations. Zbl 1294.68058
Lucas, Salvador
1
2009
Using context-sensitive rewriting for proving innermost termination of rewriting. Zbl 1337.68147
Alarcón, Beatriz; Lucas, Salvador
1
2009
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
26
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
17
2008
Search techniques for rational polynomial orders. Zbl 1166.68354
Fuhs, Carsten; Navarro-Marset, Rafael; Otto, Carsten; Giesl, Jürgen; Lucas, Salvador; Schneider-Kamp, Peter
7
2008
Improving context-sensitive dependency pairs. Zbl 1182.68092
Alarcón, Beatriz; Emmes, Fabian; Fuhs, Carsten; Giesl, Jürgen; Gutiérrez, Raúl; Lucas, Salvador; Schneider-Kamp, Peter; Thiemann, René
7
2008
Usable rules for context-sensitive rewrite systems. Zbl 1145.68447
Gutiérrez, Raúl; Lucas, Salvador; Urbain, Xavier
2
2008
Termination of just/fair computations in term rewriting. Zbl 1146.68040
Lucas, Salvador; Meseguer, José
1
2008
Proving termination of context-sensitive rewriting with MU-TERM. Zbl 1278.68113
Alarcón, Beatriz; Gutiérrez, Raúl; Iborra, José; Lucas, Salvador
8
2007
Improving the context-sensitive dependency graph. Zbl 1278.68114
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
4
2007
Termination of innermost context-sensitive rewriting using dependency pairs. Zbl 1148.68463
Alarcón, Beatriz; Lucas, Salvador
3
2007
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
Proving termination of context-sensitive rewriting by transformation. Zbl 1171.68514
Lucas, Salvador
10
2006
Context-sensitive dependency pairs. Zbl 1177.68133
Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador
6
2006
On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting. Zbl 1103.68061
Lucas, Salvador
2
2006
Generalizing Newman’s lemma for left-linear rewrite systems. Zbl 1151.68445
Gramlich, Bernhard; Lucas, Salvador
1
2006
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
32
2005
Polynomials over the reals in proofs of termination: from theory to practice. Zbl 1085.68076
Lucas, Salvador
14
2005
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
Termination of fair computations in term rewriting. Zbl 1143.68491
Lucas, Salvador; Meseguer, José
1
2005
Strategies in programming languages today. Zbl 1272.68073
Lucas, Salvador
1
2005
Polynomials for proving termination of context-sensitive rewriting. Zbl 1126.68448
Lucas, Salvador
6
2004
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Context-sensitive rewriting strategies. Zbl 1012.68095
Lucas, Salvador
27
2002
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
Lazy rewriting and context-sensitive rewriting. Zbl 1268.68100
Lucas, Salvador
7
2002
Termination of (canonical) context-sensitive rewriting. Zbl 1045.68074
Lucas, Salvador
6
2002
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2002
Termination of rewriting with strategy annotations. Zbl 1275.68084
Lucas, Salvador
14
2001
Transfinite rewriting semantics for term rewriting systems. Zbl 0981.68070
Lucas, Salvador
4
2001
An evaluation semantics for narrowing-based functional logic languages. Zbl 0971.68097
Hanus, Michael; Lucas, Salvador
1
2001
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
Context-sensitive computations in functional and functional programs. Zbl 0924.68106
Lucas, Salvador
31
1998
Strongly sequential and inductively sequential term rewriting systems. Zbl 1339.68136
Hanus, Michael; Lucas, Salvador; Middeldorp, Aart
7
1998
Root-neededness and approximations of neededness. Zbl 1339.68139
Lucas, Salvador
2
1998
Termination of context sensitive rewriting by rewriting. Zbl 1046.68565
Lucas, Salvador
6
1996
all top 5

Cited by 145 Authors

34 Lucas, Salvador
23 Meseguer Guaita, José
12 Escobar, Santiago
10 Alpuente, María
10 Middeldorp, Aart
9 Gutiérrez, Raúl
8 Durán, Francisco
8 Martí-Oliet, Narciso
7 Nishida, Naoki
6 Antoy, Sergio
6 Thiemann, René
5 Alarcón, Beatriz
5 Gramlich, Bernhard
5 Hirokawa, Nao
5 Iborra, José
5 Sakai, Masahiko
5 Winkler, Sarah
4 Hanus, Michael
4 Kirchner, Hélène
4 Ogata, Kazuhiro
4 Talcott, Carolyn L.
4 Vidal, Germán
3 Eker, Steven
3 Endrullis, Jörg
3 Falaschi, Moreno
3 Futatsugi, Kokichi
3 Giesl, Jürgen
3 Marché, Claude
3 Nakamura, Masaki
3 Riesco, Adrián
3 Rocha, Camilo
3 Rodríguez-Carbonell, Enric
3 Rubio, Albert
3 Schneider-Kamp, Peter
3 Urbain, Xavier
3 Zankl, Harald
2 Ábrahám, Erika
2 Aguirre, Luis Antonio
2 Borralleras, Cristina
2 Caballero, Rafael E.
2 Comini, Marco
2 Falke, Stephan
2 Fissore, Olivier
2 Fuhs, Carsten
2 Gmeiner, Karl
2 Gnaedig, Isabelle
2 Hendriks, Dimitri
2 Jacquemard, Florent
2 Kop, Cynthia
2 López-Fraguas, Francisco Javier
2 Mossakowski, Till
2 Navarro-Marset, Rafael
2 Ojeda, Pedro
2 Oliveras, Albert
2 Palomino, Miguel
2 Pita, Isabel
2 Sakabe, Toshiki
2 Schernhammer, Felix
2 Verdejo, Alberto
2 Yamada, Akihisa
1 Abbott, John A.
1 Albert, Elvira
1 Aschermann, Cornelius
1 Bacci, Giovanni
1 Ballis, Demis
1 Becker, Bernd
1 Bergenti, Federico
1 Bigatti, Anna Maria
1 Blanqui, Frédéric
1 Bonfante, Guillaume
1 Bouhoula, Adel
1 Brain, Martin
1 Brockschmidt, Marc
1 Brown, Daniel W.
1 Bruni, Roberto
1 Buchberger, Bruno
1 Candeago, Lorenzo
1 Chiang, Su-Hui
1 Cimatti, Alessandro
1 Clavel, Manuel
1 Codescu, Mihai
1 Codish, Michael
1 Contejean, Evelyne
1 Correa, Francisco José
1 Corzilius, Florian
1 Davenport, James Harold
1 de Dios Castro, Javier
1 de Vrijer, Roel
1 Deloup, Florian L.
1 Emmes, Fabian
1 England, Matthew
1 Espert, Javier
1 Fernández, Maribel
1 Fernández, Mirtha-Lina
1 Fontaine, Pascal
1 Forrest, Stephen
1 Frohn, Florian
1 Gaĭnă, Daniel
1 Griggio, Alberto
1 Henrot, Antoine
...and 45 more Authors

Citations by Year