Skip to main content
Theoretical Computer Science
Bill Province's user avatar
Bill Province's user avatar
Bill Province's user avatar
Bill Province
  • Member for 10 years, 1 month
  • Last seen more than a month 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
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