Travelled to:1 × Canada
1 × Denmark
1 × Spain
1 × USA
Collaborated with:A.Rubio S.Lucas M.Ferreira R.Navarro-Marset E.Rodríguez-Carbonell
Talks about:order (3) path (3) arithmet (2) monoton (2) semant (2) linear (2) polynomi (1) context (1) complet (1) sensit (1)
Person: Cristina Borralleras
DBLP: Borralleras:Cristina
Contributed to:
2009
200320022000Wrote 4 papers:
- CADE-2009-BorrallerasLNRR #linear #polynomial #satisfiability
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (CB, SL, RNM, ERC, AR), pp. 294–305.
- RTA-2003-BorrallerasR #order #semantics
- Monotonic AC-Compatible Semantic Path Orderings (CB, AR), pp. 279–295.
- CADE-2002-BorrallerasLR #order #recursion
- Recursive Path Orderings Can Be Context-Sensitive (CB, SL, AR), pp. 314–331.
- CADE-2000-BorrallerasFR #order #semantics
- Complete Monotonic Semantic Path Orderings (CB, MF, AR), pp. 346–364.