Travelled to:1 × Austria
1 × Cyprus
1 × Estonia
1 × Spain
1 × United Kingdom
Collaborated with:S.Lucas J.Meseguer E.Albert S.Genaim C.Rocha X.Urbain
Talks about:framework (2) context (2) system (2) sensit (2) rewrit (2) depend (2) pair (2) transform (1) approach (1) resourc (1)
Person: Raúl Gutiérrez
DBLP: Guti=eacute=rrez:Ra=uacute=l
Contributed to:
20142013
20122010
2008
2019Wrote 6 papers:
- LOPSTR-2014-LucasMG #2d #dependence #framework #term rewriting
- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
- LOPSTR-2013-AlbertGG #analysis #approach
- A Transformational Approach to Resource Analysis with Typed-Norms (EA, SG, RG), pp. 38–53.
- WRLA-2012-GutierrezMR #axiom #order #similarity
- Order-Sorted Equality Enrichments Modulo Axioms (RG, JM, CR), pp. 162–181.
- WRLA-2010-GutierrezL #dependence #framework #proving #termination
- Proving Termination in the Context-Sensitive Dependency Pair Framework (RG, SL), pp. 18–34.
- RTA-2008-GutierrezLU #term rewriting
- Usable Rules for Context-Sensitive Rewrite Systems (RG, SL, XU), pp. 126–141.
- CADE-2019-GutierrezL #automation #generative #logic #modelling
- Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.