Raúl Gutiérrez

From MaRDI portal
Person:989289

Available identifiers

zbMath Open gutierrez.raulMaRDI QIDQ989289

List of research outcomes





PublicationDate of PublicationType
Proving confluence in the confluence framework with confident2024-10-21Paper
https://portal.mardi4nfdi.de/entity/Q61870622024-02-05Paper
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA2022-12-22Paper
Automatically Proving and Disproving Feasibility Conditions2022-11-09Paper
mu-term: Verify Termination Properties Automatically (System Description)2022-11-09Paper
A Transformational Approach to Resource Analysis with Typed-norms Inference2021-09-03Paper
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques2021-02-17Paper
Automatic generation of logical models with AGES2020-03-10Paper
Variant-based decidable satisfiability in initial algebras with predicates2018-09-06Paper
Automatic synthesis of logical models for order-sorted first-order theories2018-08-09Paper
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors2018-06-06Paper
Use of logical models for proving infeasibility in term rewriting2018-05-25Paper
A Transformational Approach to Resource Analysis with Typed-Norms2015-11-30Paper
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems2015-10-02Paper
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting2015-09-14Paper
Proving termination of context-sensitive rewriting with MU-TERM2013-12-20Paper
Improving the context-sensitive dependency graph2013-12-20Paper
Order-Sorted Equality Enrichments Modulo Axioms2012-10-16Paper
Proving Termination Properties with mu-term2011-01-21Paper
Proving Termination in the Context-Sensitive Dependency Pair Framework2010-10-12Paper
Context-sensitive dependency pairs2010-08-19Paper
Improving Context-Sensitive Dependency Pairs2009-01-27Paper
Usable Rules for Context-Sensitive Rewrite Systems2008-08-28Paper
Context-Sensitive Dependency Pairs2008-04-17Paper

Research outcomes over time

This page was built for person: Raúl Gutiérrez