Salvador Lucas
Universidad Politécnica de València
H-index: 30
Europe-Spain
Top articles of Salvador Lucas
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Confluence of Conditional Rewriting Modulo | Salvador Lucas | 2024 | |
Local confluence of conditional and generalized term rewriting systems | Journal of Logical and Algebraic Methods in Programming | Salvador Lucas | 2024/1/1 |
Proving Confluence in the Confluence Framework with CONFident | arXiv preprint arXiv:2306.16330 | Raúl Gutiérrez Salvador Lucas Miguel Vítores | 2023/6/28 |
Proving Confluence with CONFident (short version) | 11th International Workshop on Confluence | Raúl Gutiérrez Miguel Vıtores Salvador Lucas | 2022/8/1 |
Proving and disproving confluence of context-sensitive rewriting | Journal of Logical and Algebraic Methods in Programming | Salvador Lucas Miguel Vítores Raúl Gutiérrez | 2022/4/1 |
Confluence Framework: Proving Confluence with CONFident | Raúl Gutiérrez Miguel Vítores Salvador Lucas | 2022/9/11 | |
On local confluence of conditional rewrite systems | Proc. of IWC | Salvador Lucas | 2022/8/1 |
The origins of the halting problem | Journal of Logical and Algebraic Methods in Programming | Salvador Lucas | 2021/6/1 |
Applications and extensions of context-sensitive rewriting | Journal of Logical and Algebraic Methods in Programming | Salvador Lucas | 2021/6/1 |
Confluence of conditional rewriting in logic form | Raúl Gutiérrez Salvador Lucas Miguel Vítores | 2021 | |
Derivational complexity and context-sensitive rewriting | Journal of Automated Reasoning | Salvador Lucas | 2021/12 |
CONFident at the 2021 Confluence Competition | 10th International Workshop on Confluence | Miguel Vıtores Raúl Gutiérrez Salvador Lucas | 2021/7/23 |
infChecker at the 2021 Confluence Competition | 10th International Workshop on Confluence, IWC | Raúl Gutiérrez Salvador Lucas Miguel Vıtores | 2021/7/23 |
mu-term: Verify Termination Properties Automatically (System Description) | Raúl Gutiérrez Salvador Lucas | 2020/6/24 | |
Automatically proving and disproving feasibility conditions | Raúl Gutiérrez Salvador Lucas | 2020/6/24 | |
Using well-founded relations for proving operational termination | Journal of Automated Reasoning | Salvador Lucas | 2020/2 |
The 2D dependency pair framework for conditional rewrite systems—part II: advanced processors and implementation techniques | Journal of Automated Reasoning | Salvador Lucas José Meseguer Raúl Gutiérrez | 2020/12 |
Context-sensitive rewriting | Salvador Lucas | 2020/8/3 |