BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Borralleras:Cristina

Contributed to:

CADE 20092009
RTA 20032003
CADE 20022002
CADE 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.