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 × Italy
Collaborated with:
Talks about:
lifschitz (1) program (1) gelfond (1) continu (1) theori (1) applic (1) answer (1) proof (1) other (1) vadi (1)

Person: Victor W. Marek

DBLP DBLP: Marek:Victor_W=

Contributed to:

ICLP 20082008

Wrote 2 papers:

ICLP-2008-Marek #programming #question #set
Quo Vadis Answer Set Programming? (VWM), pp. 83–87.
ICLP-2008-MarekR #on the
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.

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.