Raúl Gutiérrez

Available identifiers

zbMath Open gutierrez.raulMaRDI QIDQ989289

List of research outcomes

Publication	Date of Publication	Type
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
Improving the Context-sensitive Dependency Graph	2013-12-20	Paper
Proving Termination of Context-Sensitive Rewriting with MU-TERM	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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