Skip to main content
Theoretical Computer Science
LORE81's user avatar
LORE81's user avatar
LORE81's user avatar
LORE81
Unregistered
  • Member for 11 years, 8 months
  • Last seen more than 11 years ago
Profile Activity
Stats
111
reputation
2k
reached
0
answers
2
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
9
CTL* and mu-calculus
Jan 21, 2013
question
1
Delimiting the roots of a polynomial
Jan 24, 2013