BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Seth:Anil

Contributed to:

CAV 20102010
LICS 19981998
LICS 19951995
LICS 19921992

Wrote 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.

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.