Theoretical Computer Science
Pushpa's user avatar
Pushpa's user avatar
Pushpa's user avatar
Pushpa
  • Member for 8 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
209
reputation
2k
reached
2
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
3
silver badges
6
bronze badges
Top tags
9
Score
3
Posts
100
Posts %
9
Score
3
Posts
100
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
2
Score
2
Posts
67
Posts %
Top posts
All Questions Answers
Score Newest
answer
7
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
Nov 14, 2017
answer
2
Is there a standard format for Dependent QBF?
Jun 24, 2018
question
1
Is there a standard format for Dependent QBF?
Jun 7, 2018
Top network posts
View all network posts
21
Difference between Dependent type , refinement type and Hoare Logic
17
Strict positivity
15
What is the best path to learn Category theory and Type theory?
6
Types are erased before run time
5
Advances in recent time in Von-neumann self replication idea

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.