Cristina Borralleras

Available identifiers

zbMath Open borralleras.cristinaMaRDI QIDQ438573

List of research outcomes

Publication	Date of Publication	Type
Proving Termination Through Conditional Termination	2020-08-05	Paper
Resource Analysis driven by (Conditional) Termination Proofs	2020-05-04	Paper
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers	2019-11-22	Paper
The recursive path and polynomial ordering for first-order and higher-order terms	2013-04-19	Paper
SAT modulo linear arithmetic for solving polynomial constraints	2012-07-31	Paper
A Monotonic Higher-Order Semantic Path Ordering	2011-05-06	Paper
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic	2009-07-28	Paper
Orderings and Constraints: Theory and Practice of Proving Termination	2009-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4809069	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4447239	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q2723431	2001-07-05	Paper

Research outcomes over time

This page was built for person: Cristina Borralleras