As of May 31, 2023, we have updated our Code of Conduct.
Theoretical Computer Science
kafka's user avatar
kafka's user avatar
kafka's user avatar
kafka
  • Member for 12 years, 6 months
  • Last seen more than a month ago
  • Naples, Italy
Profile Activity
Stats
349
reputation
2k
reached
0
answers
6
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
0
Score
4
Posts
67
Posts %
0
Score
3
Posts
50
Posts %
0
Score
3
Posts
50
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
12
Practical applications of parity games
Jan 29, 2015
question
4
Translation from LTL with Past to LTL
Oct 3, 2019
question
4
Decomposition of safety and liveness properties
Jan 27, 2021
question
3
Maximally Permissive Strategies for Safety Properties
Sep 28, 2021
question
3
Intersection of two deterministic parity automata
Jun 19, 2019
question
3
Extension of a partial order to a total of partitions of a weak alternating automaton
Dec 7, 2010
Top network posts
View all network posts
15
Cases with square brackets
9
Composite functions in ocaml
7
Constructor And\Or-graph on function transition of the alternating automata
7
The difference between theoretical complexity and practical efficiency
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.