BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Portugal
Collaborated with:
C.Olarte C.Palamidessi S.Perchy M.Falaschi
Talks about:
constraint (3) program (2) concurr (2) diagnosi (1) univers (1) opinion (1) tempor (1) system (1) declar (1) belief (1)

Person: Frank Valencia

DBLP DBLP: Valencia:Frank

Contributed to:

ICLP TC 20152015
ICLP 20072007

Wrote 3 papers:

ICLP-2015-PerchyV #constraints
Opinions and Beliefs as constraint system operators (SP, FV), p. 337.
ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code
Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.
ICLP-2007-OlartePV #concurrent #constraints #programming
Universal Timed Concurrent Constraint Programming (CO, CP, FV), pp. 464–465.
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.