Search the dblp DataBase

Publications of Author

1. Anil Seth
   When Do Fixed Point Logics Capture Complexity Classes? [Citation Graph (1, 0)][DBLP]
   LICS, 1995, pp:353-363 [Conf]
   
2. Anil Seth
   On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:334-346 [Conf]
   
3. Anil Seth, Ravindra B. Keskar, R. Venugopal
   Algorithms for energy optimization using processor instructions. [Citation Graph (0, 0)][DBLP]
   CASES, 2001, pp:195-202 [Conf]
   
4. Anil Seth
   Sharper Results on the Expressive Power of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1997, pp:200-219 [Conf]
   
5. Anil Seth
   Type 2 Polynomial Hierarchies. [Citation Graph (0, 0)][DBLP]
   LCC, 1994, pp:269-280 [Conf]
   
6. Anuj Dawar, Lauri Hella, Anil Seth
   Ordering Finite Variable Types with Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
   LICS, 1998, pp:28-43 [Conf]
   
7. Anil Seth
   There is No Recursive Axiomatization for Feasible Functionals of Type~2 [Citation Graph (0, 0)][DBLP]
   LICS, 1992, pp:286-295 [Conf]
   
8. Anil Seth
   Some Desirable Conditions for Feasible Functionals of Type~2 [Citation Graph (0, 0)][DBLP]
   LICS, 1993, pp:320-331 [Conf]
   
9. Seshadhri Comandur, Anil Seth, Somenath Biswas
   RAM Simulation of BGS Model of Abstract State Machines. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2005, pp:377-386 [Conf]
   
10. Seshadhri Comandur, Anil Seth, Somenath Biswas
    RAM Simulation of BGS Model of Abstract-state Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:175-185 [Journal]
    
11. 
    Global Reachability in Bounded Phase Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    Games on Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Games on Higher Order Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]