Sonia 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 <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> 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 ECL i 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sonia Estévez-Martín