Skip to main content
Theoretical Computer Science
Thinniyam Srinivasan Ramanatha's user avatar
Thinniyam Srinivasan Ramanatha's user avatar
Thinniyam Srinivasan Ramanatha's user avatar
Thinniyam Srinivasan Ramanatha
  • Member for 12 years
  • Last seen more than 4 years ago
  • Chennai, India
Profile Activity
Stats
259
reputation
1k
reached
1
answer
2
questions
Communities
View all
About

PhD student in Theoretical Computer Science at the Institute of Mathematical Sciences, Chennai (India)

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
1
Score
3
Posts
100
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
8
Decision problems vs functions
May 23, 2013
question
6
Bounded computation and incompleteness
Sep 5, 2013
answer
1
Should we consider $\mathsf{P} \neq \mathsf{NP}$ a law of nature?
Dec 23, 2013
Top network posts
View all network posts
14
nonstandard models and mathematical theorems
5
Quantifier elimination vs decidability
5
A claim from "Graph minors - a survey" by Robertson and Seymour
5
Is the two variable fragment of arithmetic, i.e., theory of ($\mathbb{N}, + ,\times$), decidable?