E-LIB Suche - Ergebnisse für: Lucas, Salvador

1

Local confluence of conditional and generalized term rewrit..:

Lucas, Salvador
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100926 , 2024

Link: https://doi.org/10.1016/..

2

Confluence Framework: Proving Confluence with CONFident:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Gutiérrez, Raúl ; Vítores, Miguel ; Lucas, Salvador - p. 24-43 , 2022

Link: https://doi.org/10.1007/..

3

Proving and disproving confluence of context-sensitive rewr..:

Lucas, Salvador ; Vítores, Miguel ; Gutiérrez, Raúl
Journal of Logical and Algebraic Methods in Programming. 126 (2022) - p. 100749 , 2022

Link: https://doi.org/10.1016/..

4

Applications and extensions of context-sensitive rewriting:

Lucas, Salvador
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100680 , 2021

Link: https://doi.org/10.1016/..

5

The origins of the halting problem:

Lucas, Salvador
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100687 , 2021

Link: https://doi.org/10.1016/..

6

Derivational Complexity and Context-Sensitive Rewriting:

Lucas, Salvador
Journal of Automated Reasoning. 65 (2021) 8 - p. 1191-1229 , 2021

Link: https://doi.org/10.1007/..

7

mu-term: Verify Termination Properties Automatically (Syste..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Gutiérrez, Raúl ; Lucas, Salvador - p. 436-447 , 2020

Link: https://doi.org/10.1007/..

8

Context-sensitive Rewriting:

Lucas, Salvador
ACM Computing Surveys. 53 (2020) 4 - p. 1-36 , 2020

Link: https://doi.org/10.1145/..

9

Automatically Proving and Disproving Feasibility Conditions:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Gutiérrez, Raúl ; Lucas, Salvador - p. 416-435 , 2020

Link: https://doi.org/10.1007/..

10

Context-sensitive Rewriting:

Lucas, Salvador
ACM Computing Surveys (CSUR). 53 (2020) 4 - p. 1-36 , 2020

Link: https://dl.acm.org/doi/1..

11

The 2D Dependency Pair Framework for Conditional Rewrite Sy..:

Lucas, Salvador ; Meseguer, José ; Gutiérrez, Raúl
Journal of Automated Reasoning. 64 (2020) 8 - p. 1611-1662 , 2020

Link: https://doi.org/10.1007/..

12

Proving Program Properties as First-Order Satisfiability:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Lucas, Salvador - p. 3-21 , 2019

Link: https://doi.org/10.1007/..

13

Using Well-Founded Relations for Proving Operational Termin..:

Lucas, Salvador
Journal of Automated Reasoning. 64 (2019) 2 - p. 167-195 , 2019

Link: https://doi.org/10.1007/..

14

Automatic Generation of Logical Models with AGES:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,

Gutiérrez, Raúl ; Lucas, Salvador - p. 287-299 , 2019

Link: https://doi.org/10.1007/..

15

Proving semantic properties as first-order satisfiability:

Lucas, Salvador
Artificial Intelligence. 277 (2019) - p. 103174 , 2019

Link: https://doi.org/10.1016/..