Raúl Gutiérrez

Available identifiers

zbMath Open gutierrez.raulMaRDI QIDQ989289

List of research outcomes

Publication	Date of Publication	Type
Proving confluence in the confluence framework with confident	2024-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q6187062	2024-02-05	Paper
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA	2022-12-22	Paper
Automatically Proving and Disproving Feasibility Conditions	2022-11-09	Paper
mu-term: Verify Termination Properties Automatically (System Description)	2022-11-09	Paper
A Transformational Approach to Resource Analysis with Typed-norms Inference	2021-09-03	Paper
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques	2021-02-17	Paper
Automatic generation of logical models with AGES	2020-03-10	Paper
Variant-based decidable satisfiability in initial algebras with predicates	2018-09-06	Paper
Automatic synthesis of logical models for order-sorted first-order theories	2018-08-09	Paper
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors	2018-06-06	Paper
Use of logical models for proving infeasibility in term rewriting	2018-05-25	Paper
A Transformational Approach to Resource Analysis with Typed-Norms	2015-11-30	Paper
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems	2015-10-02	Paper
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting	2015-09-14	Paper
Proving termination of context-sensitive rewriting with MU-TERM	2013-12-20	Paper
Improving the context-sensitive dependency graph	2013-12-20	Paper
Order-Sorted Equality Enrichments Modulo Axioms	2012-10-16	Paper
Proving Termination Properties with mu-term	2011-01-21	Paper
Proving Termination in the Context-Sensitive Dependency Pair Framework	2010-10-12	Paper
Context-sensitive dependency pairs	2010-08-19	Paper
Improving Context-Sensitive Dependency Pairs	2009-01-27	Paper
Usable Rules for Context-Sensitive Rewrite Systems	2008-08-28	Paper
Context-Sensitive Dependency Pairs	2008-04-17	Paper

Research outcomes over time

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