Theoretical Computer Science
Profile Activity
Meta user
Network profile
367
reputation
1
8

kafka

Apparently, this user prefers to keep an air of mystery about them.

0
answers
5
questions
~1k
people reached
  • Member for 10 years, 5 months
  • 72 profile views
  • Last seen Mar 23 at 10:40

Communities (6)

Top network posts

Top tags (7)

Score 0
Posts 4
Posts % 80
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (5)

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
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

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest

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.