S. Estévez Martín

Available identifiers

zbMath Open estevez-martin.soniaMaRDI QIDQ2867958

List of research outcomes

Publication	Date of Publication	Type
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme	2014-01-24	Paper
A proposal for the cooperation of solvers in constraint functional logic programming	2013-12-20	Paper
Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers	2012-07-20	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP	2009-10-19	Paper

Research outcomes over time

This page was built for person: S. Estévez Martín