Travelled to:1 × Croatia
1 × Japan
Collaborated with:T.Colcombet A.Krebs
Talks about:order (2) quantifi (1) countabl (1) languag (1) general (1) formula (1) linear (1) limit (1) first (1) defin (1)
Person: A. V. Sreejith
DBLP: Sreejith:A=_V=
Contributed to:
2015
2012Wrote 2 papers:
- ICALP-v2-2015-ColcombetS #linear #order #quantifier #set
- Limited Set quantifiers over Countable Linear Orderings (TC, AVS), pp. 146–158.
- LICS-2012-KrebsS #first-order
- Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.