|
Search the dblp DataBase
Ajay Mallya:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ajay Mallya
Deductive Multi-valued Model Checking. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:297-310 [Conf]
- Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
Coinductive Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:330-345 [Conf]
- Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite
A Universal Service Description Language. [Citation Graph (0, 0)][DBLP] ICWS, 2005, pp:823-824 [Conf]
- Luke Simon, Ajay Mallya, Gopal Gupta
Design and Implementation of AT: A Real-Time Action Description Language. [Citation Graph (0, 0)][DBLP] LOPSTR, 2005, pp:44-60 [Conf]
- Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
Co-Logic Programming: Extending Logic Programming with Coinduction. [Citation Graph (0, 0)][DBLP] ICALP, 2007, pp:472-483 [Conf]
- Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
Coinductive Logic Programming and Its Applications. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:27-44 [Conf]
Search in 0.001secs, Finished in 0.001secs
|