Sreejith A V
professor
computer science
Indian Institute of Technology Goa
India
Biography
Department of Computer Science Engineering, IIT Goa, Farmagudi, Ponda- 400 076, Goa
Research Interest
Logic, Descriptive complexity, Automata theory, Algebraic automata theory
Publications
-
Limited Set quantifiers over Countable Linear Orderings
-
Two-variable logic over countable linear orderings
-
Two-variable first order logic with counting quantifiers: Complexity Results
