BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guti=eacute=rrez:Ra=uacute=l

Contributed to:

LOPSTR 20142014
LOPSTR 20132013
WRLA 20122012
WRLA 20102010
RTA 20082008
CADE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.