Travelled to:1 × Hungary
1 × Japan
1 × Spain
1 × USA
Collaborated with:F.Sáenz-Pérez S.E.Martín M.T.Hortalá-González P.M.Hill M.Rodríguez-Artalejo R.d.V.Vírseda
Talks about:constraint (4) lattic (2) domain (2) cooper (2) solv (2) toy (2) combinatori (1) framework (1) function (1) problem (1)
Person: Antonio J. Fernández
DBLP: Fern=aacute=ndez:Antonio_J=
Contributed to:
2008
2008
2003
1999Wrote 4 papers:
- ESOP-2008-MartinFS #constraints #game studies
- Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.
- PPDP-2008-MartinFHRSV #constraints
- Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
- PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem
- Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.
- FLOPS-1999-FernandezH #constraints #framework #theorem proving
- An Interval Lattice-Based Constraint Solving Framework for Lattices (AJF, PMH), pp. 194–208.