Travelled to:1 × United Kingdom
3 × USA
Collaborated with:∅ A.Dawar L.Hella
Talks about:type (2) reachabl (1) quantifi (1) pushdown (1) function (1) variabl (1) general (1) feasibl (1) complex (1) axiomat (1)
Person: Anil Seth
DBLP: Seth:Anil
Contributed to:
2010
199819951992Wrote 4 papers:
- CAV-2010-Seth #automaton #bound #multi #reachability
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems (AS), pp. 615–628.
- LICS-1998-DawarHS #finite #quantifier
- Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
- LICS-1995-Seth #complexity #fixpoint #logic #question
- When Do Fixed Point Logics Capture Complexity Classes? (AS), pp. 353–363.
- LICS-1992-Seth #axiom #recursion
- There is No Recursive Axiomatization for Feasible Functionals of Type~2 (AS), pp. 286–295.