Theoretical Computer Science
Bill Province's user avatar
Bill Province's user avatar
Bill Province's user avatar
Bill Province
  • Member for 9 years
  • Last seen more than 2 years ago
  • San Jose, CA
Profile Activity
Stats
425
reputation
3k
reached
1
answer
4
questions
Communities
About

I'm a recent Xoogler doing research in the area of Proof Theory on a private project.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
1
Score
1
Posts
20
Posts %
0
Score
3
Posts
60
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
13
Looking for Literature Source for Following idea
Nov 6, 2014
question
13
Is anyone aware of a counter-example to the Dharwadker-Tevet Graph Isomorphism algorithm?
Aug 11, 2015
question
4
Looking for reference on NP-Completeness of proofs of length n
Jan 3, 2015
question
1
Looking for reference proving polynomial-time bounds for A* search under specific conditions
Oct 8, 2015
answer
1
"How much diagonal" a matrix is
Aug 11, 2015
Top network posts
View all network posts
10
Why is co-P = P

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.