Computer Science
phs
  • Paris, France
  • Member for 8 years, 2 months
Profile Activity
Stats
831
reputation
23k
reached
22
answers
0
questions
About
I am a senior researcher in computer science.

Communities (31)

Top network posts

This user doesn’t have any gold badges yet.
5
silver badges
7
bronze badges
View all badges

Top tags (42)

Score 17
Posts 4
Posts % 18
Score 14
Posts 4
Score 13
Posts 3
Score 11
Posts 1
Score 11
Posts 1
Score 10
Posts 2
View all tags →

Top posts (22)

All Questions Answers
Votes Newest
11 Is Post Correspondence Problem in NP? Nov 16 '15
10 Class of the language only containing the empty string? Nov 25 '15
8 If the universe were predetermined, would non-deterministic automata still make sense? Nov 14 '15
5 if $\delta(q, a) = q$ for all symbols $a$, show that $\delta^* (q, w) = q$ is true for all strings $w$ Nov 12 '15
4 Few Big O example Jul 26 '13
3 The Absolute Minimum Every Software Developer Absolutely, Positively Must Know about Computer Science (No Excuses!) Jan 24 '14
3 Why use $\mu$-calculus and not LTL,CTL,CTL*? Nov 5 '13
2 Termination of a composition of terminating functions Dec 2 '16
2 What does it mean for a problem to be both NP hard and coNP hard Dec 2 '15
2 Proof for Transitivity of Weak Bisimulation ≈ Nov 30 '15
View all questions and answers →

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.