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
Collaborated with:
C.Baral J.Dzifcak A.Gottesman
Talks about:
algorithm (1) calculus (1) respect (1) program (1) correct (1) theori (1) invers (1) answer (1) type (1) set (1)

Person: Marcos Alvarez Gonzalez

DBLP DBLP: Gonzalez:Marcos_Alvarez

Contributed to:

ICLP 20122012

Wrote 1 papers:

ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus
Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
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.