|
Search the dblp DataBase
Raúl Gutiérrez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
Context-Sensitive Dependency Pairs. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:297-308 [Conf]
- Raúl Gutiérrez, Jørgen Nørgaard, Kjell Randsted
IN and beyond: two approaches to the evolution of INs. [Citation Graph (0, 0)][DBLP] Computer Communications, 1995, v:18, n:11, pp:816-824 [Journal]
- Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
Proving Termination of Context-Sensitive Rewriting with MU-TERM. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:105-115 [Journal]
- Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
Improving the Context-sensitive Dependency Graph. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:91-103 [Journal]
Improving Context-Sensitive Dependency Pairs. [Citation Graph (, )][DBLP]
Usable Rules for Context-Sensitive Rewrite Systems. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|