Cristina Borralleras

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proving termination through conditional termination Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Resource analysis driven by (conditional) termination proofs Theory and Practice of Logic Programming	2020-05-04	Paper
Incomplete SMT techniques for solving non-linear formulas over the integers ACM Transactions on Computational Logic	2019-11-22	Paper
The recursive path and polynomial ordering for first-order and higher-order terms Journal Of Logic And Computation	2013-04-19	Paper
SAT modulo linear arithmetic for solving polynomial constraints Journal of Automated Reasoning	2012-07-31	Paper
A Monotonic Higher-Order Semantic Path Ordering Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic Automated Deduction – CADE-22	2009-07-28	Paper
Orderings and Constraints: Theory and Practice of Proving Termination Rewriting, Computation and Proof	2009-03-06	Paper
scientific article; zbMATH DE number 2090310 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2043535 (Why is no real title available?)	2004-02-16	Paper
scientific article; zbMATH DE number 1614707 (Why is no real title available?)	2001-07-05	Paper

Research outcomes over time

This page was built for person: Cristina Borralleras