Computer Science
François's user avatar
François's user avatar
François's user avatar
François
  • Member for 8 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
669
reputation
42k
reached
12
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
16
bronze badges
Top tags
View all tags
18
Score
5
Posts
25
Posts %
10
Score
1
Posts
5
Posts %
6
Score
2
Posts
10
Posts %
5
Score
3
Posts
15
Posts %
5
Score
1
Posts
5
Posts %
2
Score
3
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
10
How can I prove algorithm correctness?
Jun 20, 2015
question
7
Are syntax and semantic just 2 structures such that one is a model of the other?
Aug 15, 2015
answer
5
Is there a research name for "systems that steadily grow in complexity as they are computed"?
Aug 5, 2015
question
4
Unprovable Post correspondence problem instance
Mar 27, 2015
question
3
Is it admited to give the complexity of a function regarding the resulting data structure?
Apr 14, 2016
answer
3
I think I have a regular expression for a non-regular language
Mar 29, 2015
answer
3
Bipartite Matching in the Plane
Jun 18, 2015
question
2
PSPACE completeness, with different kinds of reductions [closed]
Apr 1, 2015
answer
2
$A$ is finite, $B$ is NPC - When there's a polynomial reduction from $A$ to $B$?
Jun 19, 2015
answer
2
Turning a simple polygon with holes into exterior-bounded only
Jun 19, 2015
Top network posts
View all network posts
6
PSPACE completeness, with different kinds of reductions
6
Independence of Poisson random variables coming from Poisson sampling

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.