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 × USA
1 × United Kingdom
Collaborated with:
M.Truszczynski ∅
Talks about:
program (1) formula (1) random (1) studi (1) simpl (1) logic (1) horn (1) hard (1) mix (1) but (1)

Person: Gayathri Namasivayam

DBLP DBLP: Namasivayam:Gayathri

Contributed to:

SAT 20102010
ICLP 20092009

Wrote 2 papers:

SAT-2010-NamasivayamT
Simple but Hard Mixed Horn Formulas (GN, MT), pp. 382–387.
ICLP-2009-Namasivayam #logic programming #random #source code
Study of Random Logic Programs (GN), pp. 555–556.
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.