Cristina Borralleras (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 6 from 6 records - Cristina Borralleras has 5 coauthors