BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fern=aacute=ndez:Antonio_J=

Contributed to:

ESOP 20082008
PPDP 20082008
PADL 20032003
FLOPS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.