E-LIB Suche - Ergebnisse für: Gutiérrez Gil, Raúl

1

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

Lucas Alba, Salvador ; Vítores-Vicente, Miguel ; Gutiérrez Gil, Raúl
Journal of Logical and Algebraic Methods in Programming. , 2022

Link: http://hdl.handle.net/10..

2

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

Lucas Alba, Salvador ; Meseguer, José ; Gutiérrez Gil, Raúl
Journal of Automated Reasoning. , 2020

Link: http://hdl.handle.net/10..

3

Automatically Proving and Disproving Feasibility Conditions:

Gutiérrez Gil, Raúl ; Lucas Alba, Salvador
Automated Reasoning. 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. , 2020

Link: http://hdl.handle.net/10..

4

An Optimizing Protocol Transformation for Constructor Finit..:

Aparicio-Sánchez, Damián ; Escobar Román, Santiago ; Gutiérrez Gil, Raúl.
Computer Security - ESORICS 2020. 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14¿18, 2020, Proceedings, Part II. , 2020

Link: http://hdl.handle.net/10..

5

MU-TERM: Verify Termination Properties Automatically (Syste..:

Gutiérrez Gil, Raúl ; Lucas Alba, Salvador
Automated Reasoning. 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. , 2020

Link: http://hdl.handle.net/10..

6

infChecker. A Tool for Checking Infeasibility:

Gutiérrez Gil, Raúl ; Lucas Alba, Salvador
Joint Proceedings of HOR 2019 and IWC 2019. , 2019

Link: http://hdl.handle.net/10..

7

The 2D Dependency Pair Framework for conditional rewrite sy..:

Lucas Alba, Salvador ; Meseguer, José ; Gutiérrez Gil, Raúl
Journal of Computer and System Sciences. , 2018

Link: http://hdl.handle.net/10..

8

Variant-Based Decidable Satisfiability in Initial Algebras ..:

Gutiérrez Gil, Raúl ; Meseguer, José
Lecture Notes in Computer Science. , 2018

Link: http://hdl.handle.net/10..

9

Automatic Synthesis of Logical Models for Order-Sorted Firs..:

Lucas Alba, Salvador ; Gutiérrez Gil, Raúl
Journal of Automated Reasoning. , 2018

Link: http://hdl.handle.net/10..

10

Use of logical models for proving infeasibility in term rew..:

Lucas Alba, Salvador ; Gutiérrez Gil, Raúl
Information Processing Letters. , 2018

Link: http://hdl.handle.net/10..

11

Function Calls at Frozen Positions in Termination of Contex..:

Gutiérrez Gil, Raúl ; Lucas Alba, Salvador
http://hdl.handle.net/10251/50750. , 2015

Link: http://hdl.handle.net/10..

12

Order-Sorted Equality Enrichments Modulo Axioms:

Gutiérrez Gil, Raúl ; Meseguer, Jose ; Rocha, Camilo
Science of Computer Programming. , 2015

Link: http://hdl.handle.net/10..

13

Towards an Incremental and Modular Termination Analysis of ..:

Gutiérrez Gil, Raúl ; Lucas Alba, Salvador
info:eu-repo/grantAgreement/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/. , 2014

Link: http://hdl.handle.net/10..

14

A Transformational Approach to Resource Analysis with Typed..:

Albert Albiol, Elvira Maria ; Genaim, S ; Gutiérrez Gil, Raúl
Lecture Notes in Computer Science. , 2014

Link: http://hdl.handle.net/10..

15

Context-Sensitive Dependency Pairs Framework:

Gutiérrez Gil, Raúl
http://hdl.handle.net/10251/13625. , 2011

Link: http://hdl.handle.net/10..