 | 2009 |
|---|
| 6 |       | 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 |
| 2007 |
|---|
| 5 | | Cristina Borralleras,
Albert Rubio:
Orderings and Constraints: Theory and Practice of Proving Termination.
Rewriting, Computation and Proof 2007: 28-43 |
| 2003 |
|---|
| 4 | | Cristina Borralleras,
Albert Rubio:
Monotonic AC-Compatible Semantic Path Orderings.
RTA 2003: 279-295 |
| 2002 |
|---|
| 3 | | Cristina Borralleras,
Salvador Lucas,
Albert Rubio:
Recursive Path Orderings Can Be Context-Sensitive.
CADE 2002: 314-331 |
| 2001 |
|---|
| 2 | | Cristina Borralleras,
Albert Rubio:
A Monotonic Higher-Order Semantic Path Ordering.
LPAR 2001: 531-547 |
| 2000 |
|---|
| 1 | | Cristina Borralleras,
Maria Ferreira,
Albert Rubio:
Complete Monotonic Semantic Path Orderings.
CADE 2000: 346-364 |
