Sreejith Av

Sreejith Av

Indian Institute of Technology IIT Goa - Goa / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 4944728
भारतीय प्रौद्योगिकी संस्थान IIT गोवा
person_outline Sreejith Av's MOST POPULAR ARTICLES
1-) Limited set quantifiers over countable linear orderingsT Colcombet, AV SreejithAutomata, Languages, and Programming: 42nd International Colloquium, ICALP …, 201582015
2-) Two-variable logic over countable linear orderingsA Manuel, AV Sreejith41st International Symposium on Mathematical Foundations of Computer Science …, 201672016
3-) Non-definability of languages by generalized first-order formulas over (N,+)A Krebs, AV Sreejith2012 27th Annual IEEE Symposium on Logic in Computer Science, 451-460, 201272012
4-) LTL can be more succinctK Lodaya, AV SreejithInternational Symposium on Automated Technology for Verification and …, 201072010
5-) Regular quantifiers in logicsAV SreejithPh. D. thesis, HBNI, 201352013