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 × Poland
1 × Portugal
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
L.Simon G.Gupta A.Bansal ∅ R.Min
Talks about:
program (4) logic (4) coinduct (3) implement (1) descript (1) languag (1) extend (1) design (1) deduct (1) applic (1)

Person: Ajay Mallya

DBLP DBLP: Mallya:Ajay

Contributed to:

ICALP 20072007
ICLP 20072007
ICLP 20062006
ICLP 20052005
LOPSTR 20052005

Wrote 5 papers:

ICALP-2007-SimonBMG #induction #logic programming
Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
ICLP-2007-GuptaBMSM #induction #logic programming
Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
ICLP-2006-SimonMBG #induction #logic programming
Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.
ICLP-2005-Mallya #deduction #model checking #multi
Deductive Multi-valued Model Checking (AM), pp. 297–310.
LOPSTR-2005-SimonMG #design #implementation #realtime
Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.
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.