×

zbMATH — the first resource for mathematics

Borralleras, Cristina

Compute Distance To:
Author ID: borralleras.cristina Recent zbMATH articles by "Borralleras, Cristina"
Published as: Borralleras, Cristina
Documents Indexed: 11 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 36 times in 32 Documents Cited by Year
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Complete monotonic semantic path orderings. Zbl 0963.68087
Borralleras, Cristina; Ferreira, Maria; Rubio, Albert
7
2000
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
A monotonic higher-order semantic path ordering. Zbl 1275.68082
Borralleras, Cristina; Rubio, Albert
3
2001
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
Orderings and constraints: Theory and practice of proving termination. Zbl 1186.68233
Borralleras, Cristina; Rubio, Albert
2
2007
Monotonic AC-compatible semantic path orderings. Zbl 1038.68062
Borralleras, Cristina; Rubio, Albert
1
2003
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Orderings and constraints: Theory and practice of proving termination. Zbl 1186.68233
Borralleras, Cristina; Rubio, Albert
2
2007
Monotonic AC-compatible semantic path orderings. Zbl 1038.68062
Borralleras, Cristina; Rubio, Albert
1
2003
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
A monotonic higher-order semantic path ordering. Zbl 1275.68082
Borralleras, Cristina; Rubio, Albert
3
2001
Complete monotonic semantic path orderings. Zbl 0963.68087
Borralleras, Cristina; Ferreira, Maria; Rubio, Albert
7
2000

Citations by Year