Theoretical Computer Science
kafka
  • Member for 11 years, 1 month
  • Last seen this week
Profile Activity
Stats
327
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
Votes Newest
12
Practical applications of parity games
Jan 29 '15
4
Translation from LTL with Past to LTL
Oct 3 '19
4
Decomposition of safety and liveness properties
Jan 27 '21
3
Intersection of two deterministic parity automata
Jun 19 '19
3
Extension of a partial order to a total of partitions of a weak alternating automaton
Dec 7 '10
1
Maximally Permissive Strategies for Safety Properties
Sep 28 '21
Top network posts
View all network posts
14
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.