Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Rafael Navarro-Marset

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/amast/AlarconGLN10
- ask others
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset: Proving Termination Properties with mu-term. AMAST 2010: 201-208

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/BorrallerasLNRR09
- ask others
Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio: Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. CADE 2009: 294-305
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LucasN08
- ask others
Salvador Lucas, Rafael Navarro-Marset: Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. Electr. Notes Theor. Comput. Sci. 206: 75-90 (2008)
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aisc/FuhsNOGLS08
- ask others
Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp: Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus 2008: 109-124

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?