Computer Science
kafka's user avatar
kafka's user avatar
kafka's user avatar
kafka
  • Member for 10 years, 11 months
  • Last seen this week
  • Naples, Italy
Profile Activity
Stats
391
reputation
5k
reached
0
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
View all tags
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Difference between $O(n^2)$ and $O(m)$ for algorithms on graphs
Aug 2, 2015
question
6
The difference between theoretical complexity and practical efficiency
Mar 20, 2016
question
4
Witness for the $EU(\phi_1,\phi_2)$ using BDDs
Jul 7, 2012
question
3
Time to construct a GNBA for LTL formula
Jun 28, 2012
question
3
Operations on OBDD: negation through Shannon's expansion
Jul 3, 2012
question
2
Intersection of two deterministic parity automata
Jun 19, 2019
question
2
Büchi automaton to Linear Temporal Logic
Oct 1, 2019
question
0
Problem in $NP \cap coNP$ and in P implies $NP=P$?
Jul 8, 2022
Top network posts
View all network posts
15
Cases with square brackets
12
Practical applications of parity games
9
Composite functions in ocaml
7
Constructor And\Or-graph on function transition of the alternating automata
6
warning 10 : this expression should have type unit

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.