Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Salvador Lucas
@article{DBLP:journals/jlap/Lucas24,
author = {Salvador Lucas},
title = {Local confluence of conditional and generalized term rewriting systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {136},
pages = {100926},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100926},
doi = {10.1016/J.JLAMP.2023.100926},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/Lucas24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lucas24,
author = {Salvador Lucas},
editor = {Aniello Murano and
Alexandra Silva},
title = {Confluence of Conditional Rewriting Modulo},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {37:1--37:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.37},
doi = {10.4230/LIPICS.CSL.2024.37},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/Lucas24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16330,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Miguel V{\'{\i}}tores},
title = {Proving Confluence in the Confluence Framework with CONFident},
journal = {CoRR},
volume = {abs/2306.16330},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16330},
doi = {10.48550/ARXIV.2306.16330},
eprinttype = {arXiv},
eprint = {2306.16330},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/LucasVG22,
author = {Salvador Lucas and
Miguel V{\'{\i}}tores and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Proving and disproving confluence of context-sensitive rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {126},
pages = {100749},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100749},
doi = {10.1016/J.JLAMP.2022.100749},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LucasVG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GutierrezVL22,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Miguel V{\'{\i}}tores and
Salvador Lucas},
editor = {Alicia Villanueva},
title = {Confluence Framework: Proving Confluence with CONFident},
booktitle = {Logic-Based Program Synthesis and Transformation - 32nd International
Symposium, {LOPSTR} 2022, Tbilisi, Georgia, September 21-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13474},
pages = {24--43},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16767-6\_2},
doi = {10.1007/978-3-031-16767-6\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GutierrezVL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Lucas20,
author = {Salvador Lucas},
title = {Context-sensitive Rewriting},
journal = {{ACM} Comput. Surv.},
volume = {53},
number = {4},
pages = {78:1--78:36},
year = {2021},
url = {https://doi.org/10.1145/3397677},
doi = {10.1145/3397677},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Lucas20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lucas21,
author = {Salvador Lucas},
title = {Derivational Complexity and Context-Sensitive Rewriting},
journal = {J. Autom. Reason.},
volume = {65},
number = {8},
pages = {1191--1229},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09603-1},
doi = {10.1007/S10817-021-09603-1},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Lucas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/Lucas21,
author = {Salvador Lucas},
title = {Applications and extensions of context-sensitive rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100680},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100680},
doi = {10.1016/J.JLAMP.2021.100680},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/Lucas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/Lucas21a,
author = {Salvador Lucas},
title = {The origins of the halting problem},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100687},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100687},
doi = {10.1016/J.JLAMP.2021.100687},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/Lucas21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GutierrezLV21,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Miguel V{\'{\i}}tores},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Confluence of Conditional Rewriting in Logic Form},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {44:1--44:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.44},
doi = {10.4230/LIPICS.FSTTCS.2021.44},
timestamp = {Tue, 30 Nov 2021 13:59:34 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GutierrezLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lucas20,
author = {Salvador Lucas},
title = {Using Well-Founded Relations for Proving Operational Termination},
journal = {J. Autom. Reason.},
volume = {64},
number = {2},
pages = {167--195},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09514-2},
doi = {10.1007/S10817-019-09514-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Lucas20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LucasMG20,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {The 2D Dependency Pair Framework for Conditional Rewrite Systems -
Part {II:} Advanced Processors and Implementation Techniques},
journal = {J. Autom. Reason.},
volume = {64},
number = {8},
pages = {1611--1662},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09542-3},
doi = {10.1007/S10817-020-09542-3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LucasMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL20,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Automatically Proving and Disproving Feasibility Conditions},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {416--435},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_27},
doi = {10.1007/978-3-030-51054-1\_27},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL20a,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {mu-term: Verify Termination Properties Automatically (System Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {436--447},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_28},
doi = {10.1007/978-3-030-51054-1\_28},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lucas20,
author = {Salvador Lucas},
editor = {Christian Bessiere},
title = {Proving Semantic Properties as First-Order Satisfiability (Extended
Abstract)},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {5075--5079},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/710},
doi = {10.24963/IJCAI.2020/710},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lucas20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lucas19,
author = {Salvador Lucas},
title = {Proving semantic properties as first-order satisfiability},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103174},
doi = {10.1016/J.ARTINT.2019.103174},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Lucas19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL19,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Pascal Fontaine},
title = {Automatic Generation of Logical Models with {AGES}},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {287--299},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_17},
doi = {10.1007/978-3-030-29436-6\_17},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LucasG18,
author = {Salvador Lucas and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Use of logical models for proving infeasibility in term rewriting},
journal = {Inf. Process. Lett.},
volume = {136},
pages = {90--95},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.04.002},
doi = {10.1016/J.IPL.2018.04.002},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/LucasG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LucasG18,
author = {Salvador Lucas and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Automatic Synthesis of Logical Models for Order-Sorted First-Order
Theories},
journal = {J. Autom. Reason.},
volume = {60},
number = {4},
pages = {465--501},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9419-3},
doi = {10.1007/S10817-017-9419-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LucasG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LucasMG18,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {The 2D Dependency Pair Framework for conditional rewrite systems.
Part {I:} Definition and basic processors},
journal = {J. Comput. Syst. Sci.},
volume = {96},
pages = {74--106},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.04.002},
doi = {10.1016/J.JCSS.2018.04.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LucasMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Lucas18,
author = {Salvador Lucas},
editor = {Fred Mesnard and
Peter J. Stuckey},
title = {Proving Program Properties as First-Order Satisfiability},
booktitle = {Logic-Based Program Synthesis and Transformation - 28th International
Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11408},
pages = {3--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13838-7\_1},
doi = {10.1007/978-3-030-13838-7\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Lucas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04111,
author = {Salvador Lucas},
title = {Proving Program Properties as First-Order Satisfiability},
journal = {CoRR},
volume = {abs/1808.04111},
year = {2018},
url = {http://arxiv.org/abs/1808.04111},
eprinttype = {arXiv},
eprint = {1808.04111},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucasM17,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
title = {Dependency pairs for proving termination properties of conditional
term rewriting systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {236--268},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.03.003},
doi = {10.1016/J.JLAMP.2016.03.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LucasM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Lucas17,
author = {Salvador Lucas},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Analysis of Rewriting-Based Systems as First-Order Theories},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {180--197},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_11},
doi = {10.1007/978-3-319-94460-9\_11},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Lucas17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05095,
author = {Salvador Lucas},
title = {A Semantic Approach to the Analysis of Rewriting-Based Systems},
journal = {CoRR},
volume = {abs/1709.05095},
year = {2017},
url = {http://arxiv.org/abs/1709.05095},
eprinttype = {arXiv},
eprint = {1709.05095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucasM16,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
title = {Normal forms and normal theories in conditional rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {67--97},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.06.001},
doi = {10.1016/J.JLAMP.2015.06.001},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LucasM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Lucas16,
author = {Salvador Lucas},
editor = {Dorel Lucanu},
title = {Use of Logical Models for Proving Operational Termination in General
Logics},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9942},
pages = {26--46},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44802-2\_2},
doi = {10.1007/978-3-319-44802-2\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wrla/Lucas16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lucas15,
author = {Salvador Lucas},
title = {Completeness of context-sensitive rewriting},
journal = {Inf. Process. Lett.},
volume = {115},
number = {2},
pages = {87--92},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.07.004},
doi = {10.1016/J.IPL.2014.07.004},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lucas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucasM15,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Localized Operational Termination in General Logics},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {91--114},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_9},
doi = {10.1007/978-3-319-15545-6\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucasM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GutierrezL15,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Function Calls at Frozen Positions in Termination of Context-Sensitive
Rewriting},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {311--330},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_15},
doi = {10.1007/978-3-319-23165-5\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GutierrezL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucas15,
author = {Salvador Lucas},
editor = {Marisa Navarro},
title = {Termination of canonical context-sensitive rewriting and productivity
of rewrite systems},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {18--31},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.2},
doi = {10.4204/EPTCS.200.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lucas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucas15a,
author = {Salvador Lucas},
editor = {Marisa Navarro},
title = {Synthesis of models for order-sorted first-order theories using linear
algebra and constraint solving},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {32--47},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.3},
doi = {10.4204/EPTCS.200.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lucas15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/LucasM14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
title = {Models for Logics and Conditional Constraints in Automated Proofs
of Termination},
booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8884},
pages = {9--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13770-4\_3},
doi = {10.1007/978-3-319-13770-4\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/LucasM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Lucas14,
author = {Salvador Lucas},
editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
title = {Using Representation Theorems for Proving Polynomials Non-negative},
booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8884},
pages = {21--33},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13770-4\_4},
doi = {10.1007/978-3-319-13770-4\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Lucas14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LucasMG14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Extending the 2D Dependency Pair Framework for Conditional Term Rewriting
Systems},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {113--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_7},
doi = {10.1007/978-3-319-17822-6\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LucasMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LucasM14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proving Operational Termination of Declarative Programs in General
Logics},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {111--122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643152},
doi = {10.1145/2643135.2643152},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LucasM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LucasM14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Santiago Escobar},
title = {Strong and Weak Operational Termination of Order-Sorted Rewrite Theories},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {178--194},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_10},
doi = {10.1007/978-3-319-12904-4\_10},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/LucasM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LucasM14a,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Santiago Escobar},
title = {2D Dependency Pairs for Proving Operational Termination of CTRSs},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {195--212},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_11},
doi = {10.1007/978-3-319-12904-4\_11},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/LucasM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BorrallerasLORR12,
author = {Cristina Borralleras and
Salvador Lucas and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Albert Rubio},
title = {{SAT} Modulo Linear Arithmetic for Solving Polynomial Constraints},
journal = {J. Autom. Reason.},
volume = {48},
number = {1},
pages = {107--131},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9196-8},
doi = {10.1007/S10817-010-9196-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BorrallerasLORR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlarconGL10,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
title = {Context-sensitive dependency pairs},
journal = {Inf. Comput.},
volume = {208},
number = {8},
pages = {922--968},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.03.003},
doi = {10.1016/J.IC.2010.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlarconGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlpuenteEGL10,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Bernhard Gramlich and
Salvador Lucas},
title = {On-demand strategy annotations revisited: An improved on-demand evaluation
strategy},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
pages = {504--541},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.09.016},
doi = {10.1016/J.TCS.2009.09.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlpuenteEGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Lucas10,
author = {Salvador Lucas},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {From Matrix Interpretations over the Rationals to Matrix Interpretations
over the Naturals},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {116--131},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_11},
doi = {10.1007/978-3-642-14128-7\_11},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Lucas10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AlarconGLN10,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Rafael Navarro{-}Marset},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Proving Termination Properties with mu-term},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {201--208},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_12},
doi = {10.1007/978-3-642-17796-5\_12},
timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
biburl = {https://dblp.org/rec/conf/amast/AlarconGLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GutierrezL10,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Proving Termination in the Context-Sensitive Dependency Pair Framework},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {18--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_3},
doi = {10.1007/978-3-642-16310-4\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wrla/GutierrezL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AlarconLM10,
author = {Beatriz Alarc{\'{o}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Peter Csaba {\"{O}}lveczky},
title = {A Dependency Pair Framework for \emph{A} {OR} \emph{C}-Termination},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {35--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_4},
doi = {10.1007/978-3-642-16310-4\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/AlarconLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-0143,
author = {Salvador Lucas},
title = {From matrix interpretations over the rationals to matrix interpretations
over the naturals},
journal = {CoRR},
volume = {abs/1007.0143},
year = {2010},
url = {http://arxiv.org/abs/1007.0143},
eprinttype = {arXiv},
eprint = {1007.0143},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-0143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BorrallerasLNRR09,
author = {Cristina Borralleras and
Salvador Lucas and
Rafael Navarro{-}Marset and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Albert Rubio},
editor = {Renate A. Schmidt},
title = {Solving Non-linear Polynomial Arithmetic via {SAT} Modulo Linear Arithmetic},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {294--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_23},
doi = {10.1007/978-3-642-02959-2\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BorrallerasLNRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DuranLM09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Termination Modulo Combinations of Equational Theories},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {246--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_15},
doi = {10.1007/978-3-642-04222-5\_15},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DuranLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas09,
author = {Salvador Lucas},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Automatic Proofs of Termination With Elementary Interpretations},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {41--61},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.004},
doi = {10.1016/J.ENTCS.2009.12.004},
timestamp = {Fri, 24 Feb 2023 15:47:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LucasM08,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
title = {Termination of just/fair computations in term rewriting},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {652--675},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.11.002},
doi = {10.1016/J.IC.2007.11.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LucasM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DuranLMMU08,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Claude March{\'{e}} and
Jos{\'{e}} Meseguer and
Xavier Urbain},
title = {Proving operational termination of membership equational programs},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {59--88},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9028-2},
doi = {10.1007/S10990-008-9028-2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DuranLMMU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/FuhsNOGLS08,
author = {Carsten Fuhs and
Rafael Navarro{-}Marset and
Carsten Otto and
J{\"{u}}rgen Giesl and
Salvador Lucas and
Peter Schneider{-}Kamp},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Search Techniques for Rational Polynomial Orders},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {109--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_10},
doi = {10.1007/978-3-540-85110-3\_10},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/FuhsNOGLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DuranLM08,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {{MTT:} The Maude Termination Tool (System Description)},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {313--319},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_27},
doi = {10.1007/978-3-540-71070-7\_27},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DuranLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlarconEFGGLST08,
author = {Beatriz Alarc{\'{o}}n and
Fabian Emmes and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Improving Context-Sensitive Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {636--651},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_44},
doi = {10.1007/978-3-540-89439-1\_44},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlarconEFGGLST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LucasM08,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Sergio Antoy and
Elvira Albert},
title = {Order-sorted dependency pairs},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {108--119},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389463},
doi = {10.1145/1389449.1389463},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LucasM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GutierrezLU08,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Xavier Urbain},
editor = {Andrei Voronkov},
title = {Usable Rules for Context-Sensitive Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {126--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_9},
doi = {10.1007/978-3-540-70590-1\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GutierrezLU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconL09,
author = {Beatriz Alarc{\'{o}}n and
Salvador Lucas},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Using Context-Sensitive Rewriting for Proving Innermost Termination
of Rewriting},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {3--17},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.055},
doi = {10.1016/J.ENTCS.2009.07.055},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranLMG09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Francisco Guti{\'{e}}rrez},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Web Services and Interoperability for the Maude Termination Tool},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {83--92},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.061},
doi = {10.1016/J.ENTCS.2009.07.061},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranLMG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranLM09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Methods for Proving Termination of Rewriting-based Programming Languages
by Transformation},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {93--113},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.062},
doi = {10.1016/J.ENTCS.2009.07.062},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucasM09,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Grigore Rosu},
title = {Operational Termination of Membership Equational Programs: the Order-Sorted
Way},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {207--225},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.021},
doi = {10.1016/J.ENTCS.2009.05.021},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LucasM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteEL07,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
title = {Removing redundant arguments automatically},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {3--35},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002869},
doi = {10.1017/S1471068406002869},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteEL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ClavelDHLMO07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Joe Hendrix and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {The Maude Formal Tool Environment},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {173--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_12},
doi = {10.1007/978-3-540-73859-6\_12},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/ClavelDHLMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlarconL07,
author = {Beatriz Alarc{\'{o}}n and
Salvador Lucas},
editor = {Boris Konev and
Frank Wolter},
title = {Termination of Innermost Context-Sensitive Rewriting Using Dependency
Pairs},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {73--87},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_5},
doi = {10.1007/978-3-540-74621-8\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlarconL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lucas07,
author = {Salvador Lucas},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Practical use of polynomials over the reals in proofs of termination},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {39--50},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273927},
doi = {10.1145/1273920.1273927},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lucas07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucasN08,
author = {Salvador Lucas and
Rafael Navarro{-}Marset},
editor = {Ernesto Pimentel},
title = {Comparing {CSP} and {SAT} Solvers for Polynomial Constraints in Termination
Provers},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {75--90},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.076},
doi = {10.1016/J.ENTCS.2008.03.076},
timestamp = {Mon, 13 Feb 2023 13:57:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucasN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FloresLV08,
author = {Sonia Flores and
Salvador Lucas and
Alicia Villanueva},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Formal Verification of Websites},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {103--118},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.095},
doi = {10.1016/J.ENTCS.2008.04.095},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FloresLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Lucas06,
author = {Salvador Lucas},
title = {On the relative power of polynomials with real, rational, and integer
coefficients in proofs of termination of rewriting},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {17},
number = {1},
pages = {49--73},
year = {2006},
url = {https://doi.org/10.1007/s00200-005-0189-5},
doi = {10.1007/S00200-005-0189-5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/Lucas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lucas06,
author = {Salvador Lucas},
title = {Proving termination of context-sensitive rewriting by transformation},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1782--1846},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.07.001},
doi = {10.1016/J.IC.2006.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lucas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlarconGL06,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Context-Sensitive Dependency Pairs},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {297--308},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_28},
doi = {10.1007/11944836\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlarconGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GramlichL06,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Frank Pfenning},
title = {Generalizing Newman's Lemma for Left-Linear Rewrite Systems},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {66--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_6},
doi = {10.1007/11805618\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GramlichL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Improving the Context-sensitive Dependency Graph},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {91--103},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.040},
doi = {10.1016/J.ENTCS.2007.05.040},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGIL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Iborra and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Proving Termination of Context-Sensitive Rewriting with {MU-TERM}},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {105--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.041},
doi = {10.1016/J.ENTCS.2007.05.041},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGIL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601039,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
title = {Removing Redundant Arguments Automatically},
journal = {CoRR},
volume = {abs/cs/0601039},
year = {2006},
url = {http://arxiv.org/abs/cs/0601039},
eprinttype = {arXiv},
eprint = {cs/0601039},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LucasMM05,
author = {Salvador Lucas and
Claude March{\'{e}} and
Jos{\'{e}} Meseguer},
title = {Operational termination of conditional term rewriting systems},
journal = {Inf. Process. Lett.},
volume = {95},
number = {4},
pages = {446--453},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.05.002},
doi = {10.1016/J.IPL.2005.05.002},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LucasMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Lucas05,
author = {Salvador Lucas},
title = {Polynomials over the reals in proofs of termination: from theory to
practice},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {39},
number = {3},
pages = {547--586},
year = {2005},
url = {https://doi.org/10.1051/ita:2005029},
doi = {10.1051/ITA:2005029},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Lucas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GramlichL05,
author = {Bernhard Gramlich and
Salvador Lucas},
title = {Reduction strategies in rewriting and programming},
journal = {J. Symb. Comput.},
volume = {40},
number = {1},
pages = {745--747},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.006},
doi = {10.1016/J.JSC.2004.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GramlichL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteLHV05,
author = {Mar{\'{\i}}a Alpuente and
Salvador Lucas and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {Specialization of functional logic programs based on needed narrowing},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {3},
pages = {273--303},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002303},
doi = {10.1017/S1471068404002303},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteLHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LucasM05,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Termination of Fair Computations in Term Rewriting},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {184--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_14},
doi = {10.1007/11591191\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LucasM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Lucas05,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Rewriting-based navigation of Web sites},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {157--160},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/Lucas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas06,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Rewriting-Based Navigation of Web Sites: Looking for Models and Logics},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {79--85},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.047},
doi = {10.1016/J.ENTCS.2005.12.047},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2004,
editor = {Salvador Lucas},
title = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/1},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lucas04,
author = {Salvador Lucas},
title = {Strong and NV-sequentiality of constructor systems},
journal = {Inf. Process. Lett.},
volume = {89},
number = {4},
pages = {191--201},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2003.11.006},
doi = {10.1016/J.IPL.2003.11.006},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lucas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Lucas04,
author = {Salvador Lucas},
editor = {Igor Walukiewicz},
title = {Polynomials for Proving Termination of Context-Sensitive Rewriting},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {318--332},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_23},
doi = {10.1007/978-3-540-24727-2\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Lucas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DuranLMMU04,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Claude March{\'{e}} and
Xavier Urbain},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Proving termination of membership equational programs},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {147--158},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014022},
doi = {10.1145/1014007.1014022},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DuranLMMU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Lucas04,
author = {Salvador Lucas},
editor = {Vincent van Oostrom},
title = {mu-term: {A} Tool for Proving Termination of Context-Sensitive Rewriting},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {200--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_14},
doi = {10.1007/978-3-540-25979-4\_14},
timestamp = {Mon, 16 Sep 2019 15:32:17 +0200},
biburl = {https://dblp.org/rec/conf/rta/Lucas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas05a,
author = {Salvador Lucas},
editor = {Salvador Lucas},
title = {Preface},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.036},
doi = {10.1016/J.ENTCS.2005.01.036},
timestamp = {Mon, 12 Dec 2022 16:37:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranEL05a,
author = {Francisco Dur{\'{a}}n and
Santiago Escobar and
Salvador Lucas},
editor = {Slim Abdennadher and
Christophe Ringeissen},
title = {On-demand Evaluation for Maude},
booktitle = {Proceedings of the 5th International Workshop on Rule-Based Programming,
{RULE} 2004, Aachen, Germany, June 1, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {124},
number = {1},
pages = {25--39},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.013},
doi = {10.1016/J.ENTCS.2004.07.013},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DuranEL05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas05,
author = {Salvador Lucas},
editor = {Sergio Antoy and
Yoshihito Toyama},
title = {Strategies in Programming Languages Today},
booktitle = {Proceedings of the 4th International Workshop on Reduction Strategies
in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {124},
number = {2},
pages = {113--118},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.023},
doi = {10.1016/J.ENTCS.2004.11.023},
timestamp = {Mon, 12 Dec 2022 13:37:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranEL05,
author = {Francisco Dur{\'{a}}n and
Santiago Escobar and
Salvador Lucas},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {New Evaluation Commands for Maude Within Full Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {263--284},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.014},
doi = {10.1016/J.ENTCS.2004.06.014},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranEL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0403011,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
title = {Specialization of Functional Logic Programs Based on Needed Narrowing},
journal = {CoRR},
volume = {cs.PL/0403011},
year = {2004},
url = {http://arxiv.org/abs/cs/0403011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0403011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteBEFL03,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Francesco Buccafurri},
title = {Abstract Correction of OBJ-like Programs},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {422--433},
year = {2003},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteBEFL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEL03,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
title = {OnDemandOBJ: {A} Laboratory for Strategy Annotations},
booktitle = {4th International Workshop on Rule-Based Programming, {RULE} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {2},
pages = {1--27},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80673-X},
doi = {10.1016/S1571-0661(04)80673-X},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteEL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEL03a,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
title = {On-demand Evaluation by Program Transformation},
booktitle = {4th International Workshop on Rule-Based Programming, {RULE} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {2},
pages = {92--118},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80678-9},
doi = {10.1016/S1571-0661(04)80678-9},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteEL03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteBEFL03,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Lubos Brim and
Orna Grumberg},
title = {Abstract correction of first-order functional programs},
booktitle = {12th International Workshop on Functional and Constraint Logic Programming,
{WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
pages = {105--122},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80696-0},
doi = {10.1016/S1571-0661(04)80696-0},
timestamp = {Wed, 07 Dec 2022 09:18:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteBEFL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GramlichL03,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {Preface: 3rd International Workshop on Reduction Strategies in Rewriting
and Programming {(WRS} 2003) - Final Proceedings},
booktitle = {3rd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2003, Valencia, Spain, June 8, 2003, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {4},
pages = {567--569},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82611-8},
doi = {10.1016/S1571-0661(05)82611-8},
timestamp = {Tue, 06 Dec 2022 15:20:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GramlichL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2003,
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {3rd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2003, Valencia, Spain, June 8, 2003, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {4},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/86/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrs/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lucas02,
author = {Salvador Lucas},
title = {Context-Sensitive Rewriting Strategies},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {294--343},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3176},
doi = {10.1006/INCO.2002.3176},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lucas02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AlpuenteEL02,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Removing Redundant Arguments of Functions},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {117--131},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_9},
doi = {10.1007/3-540-45719-4\_9},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/AlpuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BorrallerasLR02,
author = {Cristina Borralleras and
Salvador Lucas and
Albert Rubio},
editor = {Andrei Voronkov},
title = {Recursive Path Orderings Can Be Context-Sensitive},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {314--331},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_27},
doi = {10.1007/3-540-45620-1\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BorrallerasLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlpuenteCEFL02,
author = {Mar{\'{\i}}a Alpuente and
Marco Comini and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Michael Leuschel},
title = {Abstract Diagnosis of Functional Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_1},
doi = {10.1007/3-540-45013-0\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlpuenteCEFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlpuenteEGL02,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Bernhard Gramlich and
Salvador Lucas},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Improving On-Demand Strategy Annotations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {1--18},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_1},
doi = {10.1007/3-540-36078-6\_1},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AlpuenteEGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GramlichL02,
author = {Bernhard Gramlich and
Salvador Lucas},
title = {Modular termination of context-sensitive rewriting},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {50--61},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571163},
doi = {10.1145/571157.571163},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GramlichL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Lucas02,
author = {Salvador Lucas},
editor = {Sophie Tison},
title = {Termination of (Canonical) Context-Sensitive Rewriting},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {296--310},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_21},
doi = {10.1007/3-540-45610-4\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Lucas02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rule/GramlichL02,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Bernd Fischer and
Eelco Visser},
title = {Simple termination of context-sensitive rewriting},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Rule-Based Programming,
Pittsburgh, Pennsylvania, USA, 2002},
pages = {29--42},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/570186.570189},
doi = {10.1145/570186.570189},
timestamp = {Fri, 25 Nov 2022 14:50:36 +0100},
biburl = {https://dblp.org/rec/conf/rule/GramlichL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEEL02,
author = {Mar{\'{\i}}a Alpuente and
Rachid Echahed and
Santiago Escobar and
Salvador Lucas},
editor = {Marco Comini and
Moreno Falaschi},
title = {Redundancy of Arguments Reduced to Induction},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {20--41},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80783-7},
doi = {10.1016/S1571-0661(04)80783-7},
timestamp = {Wed, 07 Dec 2022 09:09:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteEEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntoyL02,
author = {Sergio Antoy and
Salvador Lucas},
editor = {Marco Comini and
Moreno Falaschi},
title = {Demandness in Rewriting and Narrowing},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {42--51},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80784-9},
doi = {10.1016/S1571-0661(04)80784-9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AntoyL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEL02,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {Correct and Complete (Positive) Strategy Annotations for {OBJ}},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {70--89},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82529-0},
doi = {10.1016/S1571-0661(05)82529-0},
timestamp = {Wed, 07 Dec 2022 08:35:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GramlichL02,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {Preface},
booktitle = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
July 21, 2002, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
pages = {196--197},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80607-3},
doi = {10.1016/S1571-0661(05)80607-3},
timestamp = {Tue, 06 Dec 2022 15:13:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GramlichL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2002,
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
July 21, 2002, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrs/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HanusL01,
author = {Michael Hanus and
Salvador Lucas},
title = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
journal = {J. Funct. Log. Program.},
volume = {2001},
number = {2},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/HanusL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lucas01,
author = {Salvador Lucas},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Termination of Rewriting With Strategy Annotations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {669--684},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_46},
doi = {10.1007/3-540-45653-8\_46},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lucas01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lucas01,
author = {Salvador Lucas},
title = {Termination of On-Demand Rewriting and Termination of {OBJ} Programs},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {82--93},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773194},
doi = {10.1145/773184.773194},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lucas01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Lucas01,
author = {Salvador Lucas},
editor = {Aart Middeldorp},
title = {Transfinite Rewriting Semantics for Term Rewriting Systems},
booktitle = {Rewriting Techniques and Applications, 12th International Conference,
{RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2051},
pages = {216--230},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45127-7\_17},
doi = {10.1007/3-540-45127-7\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Lucas01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas02a,
author = {Salvador Lucas},
editor = {Michael Hanus},
title = {Lazy Rewriting and Context-Sensitive Rewriting},
booktitle = {International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {64},
pages = {234--254},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80353-0},
doi = {10.1016/S1571-0661(04)80353-0},
timestamp = {Mon, 05 Dec 2022 15:44:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/GramlichL01,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {1st International Workshop on Reduction Strategies in Rewriting and
Programming {(WRS} 2001) - Preface},
booktitle = {1st International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2001, Utrecht, The Netherlands, May 26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {57},
pages = {201--202},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80558-4},
doi = {10.1016/S1571-0661(05)80558-4},
timestamp = {Tue, 07 Nov 2023 11:31:29 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GramlichL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2001,
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {1st International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2001, Utrecht, The Netherlands, May 26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {57},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/57/suppl/C},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrs/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Lucas00,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente},
title = {Strong and NV-sequentiality of constructor systems},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {253--267},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Lucas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlpuenteEL00,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente},
title = {Redundancy Analyses in Term Rewriting},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {309--323},
year = {2000},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlpuenteEL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Lucas00a,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente},
title = {Redundant arguments in infinitary rewriting},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {340--343},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Lucas00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteLE99,
author = {Mar{\'{\i}}a Alpuente and
Salvador Lucas and
Santiago Escobar},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {An Incremental Needed Narrowing Calculus for Curry},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {75--88},
year = {1999},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteLE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HanusL99,
author = {Michael Hanus and
Salvador Lucas},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Semantics for Program Analysis in Narrowing-Based Functional Logic
Languages},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {353--368},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_23},
doi = {10.1007/10705424\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HanusL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AlpuenteHLV99,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Specialization of Inductively Sequential Functional Logic Programs},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {273--283},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317910},
doi = {10.1145/317636.317910},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AlpuenteHLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlpuenteEL99,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
editor = {Jan Pavelka and
Gerard Tel and
Miroslav Bartosek},
title = {{UPV-CURRY:} An Incremental {CURRY} Interpreter},
booktitle = {{SOFSEM} '99, Theory and Practice of Informatics, 26th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 27 - December 4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1725},
pages = {331--339},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47849-3\_20},
doi = {10.1007/3-540-47849-3\_20},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AlpuenteEL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HanusLM98,
author = {Michael Hanus and
Salvador Lucas and
Aart Middeldorp},
title = {Strongly Sequential and Inductively Sequential Term Rewriting Systems},
journal = {Inf. Process. Lett.},
volume = {67},
number = {1},
pages = {1--8},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00016-7},
doi = {10.1016/S0020-0190(98)00016-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HanusLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lucas98,
author = {Salvador Lucas},
title = {Root-Neededness and Approximations of Neededness},
journal = {Inf. Process. Lett.},
volume = {67},
number = {5},
pages = {245--254},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00118-5},
doi = {10.1016/S0020-0190(98)00118-5},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lucas98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Lucas98,
author = {Salvador Lucas},
title = {Context-sensitive Computations in Functional and Functional Logic
Programs},
journal = {J. Funct. Log. Program.},
volume = {1998},
number = {1},
year = {1998},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-01/A98-01.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Lucas98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Lucas97,
author = {Salvador Lucas},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Computational Properties of Term Rewriting with Replacement Restrictions},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {393--404},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lucas97,
author = {Salvador Lucas},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Needed Reductions with Context-Sensitive Rewriting},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {129--143},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027007},
doi = {10.1007/BFB0027007},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Lucas97,
author = {Salvador Lucas},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Transformations for Efficient Evaluations in Functional Programming},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {127--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033841},
doi = {10.1007/BFB0033841},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Lucas97,
author = {Salvador Lucas},
editor = {Frantisek Pl{\'{a}}sil and
Keith G. Jeffery},
title = {Efficient Strong Sequentiality Using Replacement Restrictions},
booktitle = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1338},
pages = {489--496},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63774-5\_130},
doi = {10.1007/3-540-63774-5\_130},
timestamp = {Mon, 26 Jun 2023 20:44:33 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HanusL96,
author = {Michael Hanus and
Salvador Lucas},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {A Denotational Semantics for Needed Narrowing},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {259--270},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/HanusL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Lucas96,
author = {Salvador Lucas},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {Termination of Context-Sensitive Rewriting by Rewriting},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {122--133},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_122},
doi = {10.1007/3-540-61440-0\_122},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Lucas96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Lucas96,
author = {Salvador Lucas},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Context-Sensitive Computations in Confluent Programs},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {408--422},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_100},
doi = {10.1007/3-540-61756-6\_100},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Lucas96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LucasO96,
author = {Salvador Lucas and
Javier Oliver},
editor = {Keith G. Jeffery and
Jaroslav Kr{\'{a}}l and
Miroslav Bartosek},
title = {A New Proposal of Concurrent Process Calculus},
booktitle = {{SOFSEM} '96: Theory and Practice of Informatics, 23rd Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 23-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1175},
pages = {385--392},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0037421},
doi = {10.1007/BFB0037421},
timestamp = {Mon, 16 Sep 2019 15:23:32 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LucasO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Lucas95,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {Computational Properties in Context-Sensitive Rewriting},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {435--446},
year = {1995},
timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/Lucas95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Lucas95,
author = {Salvador Lucas},
editor = {Miroslav Bartosek and
Jan Staudek and
Jir{\'{\i}} Wiedermann},
title = {Fundamentals of Context=Sensitive Rewriting},
booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice
of Informatics, Milovy, Czech Republic, November 23 - December 1,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1012},
pages = {405--412},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60609-2\_25},
doi = {10.1007/3-540-60609-2\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Lucas95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LucasO94,
author = {Salvador Lucas and
Javier Oliver},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {El lambda-calculo Etiquetado Paralelo {(LCEP)}},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {125--139},
year = {1994},
timestamp = {Wed, 03 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/LucasO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
